论文部分内容阅读
主要讨论离散事件动态系统的建模问题。由ＫＩｎａｎ和ＰＶａｒａｉｙａ提出的有限递归进程（ＦＲＰ）是描述并发离散事件动态系统的有力工具，但在其ＦＲＰ中，没有定义对数据变量的操作和条件转移算子。本文扩展ＦＲＰ包括这两方面内容。最后举例说明扩展ＦＲＰ的描述能力。
It mainly discusses the modeling of discrete event dynamic system. The finite recursive process (FRP) proposed by KInan and PVaraiya is a powerful tool for describing the dynamic system of concurrent discrete events. However, in its FRP, there is no operator defined for data variables and conditional transfer operators. This article extends FRP to cover both aspects. The last example illustrates the ability to extend the description of FRP.