Modeling of asynchronous discrete-event systems as networks of input-output automata
Modeling of asynchronous discrete-event systems as networks of input-output automata
复制标题
将异步离散事件系统建模为输入输出自动机网络
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
M. Fritz
中科院分区：
文献类型：
--
作者：
Sebastian Drüppel;J. Lunze;M. Fritz
摘要提出了一种异步离散事件系统面向构件建模的新方法，用输入输出（I/O）自动机表示构件。引入耦合信号来描述组件之间的相互作用。由此产生的I/O自动机网络与框图直接对应。以标准自动机建模中已知的并行组合规则为例，表明新模型至少适用于与已知建模形式主义相同的一类异步离散事件系统。
Abstract A new approach for component-oriented modeling of asynchronous discrete-event systems is presented where input-output (I/O) automata are used for representing the components. Coupling signals are introduced to describe the interactions among the components. The resulting network of I/O-automata has a direct correspondence to the block diagram. By using the parallel composition rule known from standard automata modeling as an example, it is shown that the new model is applicable for at least the same class of asynchronous discrete-event systems as the known modeling formalisms.