扩展有限递归进程模型
来源期刊：控制与决策1995年第6期
论文作者：黄典伟 吴智铭
关键词：离散事件动态系统;有限递归进程;扩展有限递归进程;
摘 要：主要讨论离散事件动态系统的建模问题。由ＫＩｎａｎ和ＰＶａｒａｉｙａ提出的有限递归进程（ＦＲＰ）是描述并发离散事件动态系统的有力工具，但在其ＦＲＰ中，没有定义对数据变量的操作和条件转移算子。本文扩展ＦＲＰ包括这两方面内容。最后举例说明扩展ＦＲＰ的描述能力。
黄典伟，吴智铭
上海交通大学自控系
摘 要：主要讨论离散事件动态系统的建模问题。由ＫＩｎａｎ和ＰＶａｒａｉｙａ提出的有限递归进程（ＦＲＰ）是描述并发离散事件动态系统的有力工具，但在其ＦＲＰ中，没有定义对数据变量的操作和条件转移算子。本文扩展ＦＲＰ包括这两方面内容。最后举例说明扩展ＦＲＰ的描述能力。
关键词：离散事件动态系统;有限递归进程;扩展有限递归进程;
