| 扩展有限递归进程模型 |
| |
| 引用本文： | 黄典伟,吴智铭.扩展有限递归进程模型[J].控制与决策,1995(6). |
| |
| 作者姓名： | 黄典伟 吴智铭 |
| |
| 作者单位： | 上海交通大学自控系 |
| |
| 摘 要： | 主要讨论离散事件动态系统的建模问题。由ＫＩｎａｎ和ＰＶａｒａｉｙａ提出的有限递归进程（ＦＲＰ）是描述并发离散事件动态系统的有力工具，但在其ＦＲＰ中，没有定义对数据变量的操作和条件转移算子。本文扩展ＦＲＰ包括这两方面内容。最后举例说明扩展ＦＲＰ的描述能力。
|
| 关 键 词： | 离散事件动态系统，有限递归进程，扩展有限递归进程 |
Extended Finitely Recursive Process Model |
| |
| Huang Dianwei, Wu Zhiming.Extended Finitely Recursive Process Model[J].Control and Decision,1995(6). |
| |
| Authors: | Huang Dianwei Wu Zhiming |
| |
| Affiliation: | Shanghai Jiaotong University |
| |
| Abstract: | In this paper, the problem of modeling for discrete event systems is discussed. The Finitely Recursive Process (FRP) proposed by K. Inan and P. Varaiya is a powerful tool for specifing interactive concurrent discrete event systems. However, there is no operations on data variables and condition branching operator in their FRP. We extend their FRP with these two aspects. Finally, an example is given to demonstrate the modeling ability of extended FRP. |
| |
| Keywords: | discrete event systems finitely recursive process extended FRP |
| 本文献已被 CNKI 等数据库收录！ |
