Petri网进程的描述方法研究综述 |
| |
引用本文: | 曾庆田,范昊,吴哲辉.Petri网进程的描述方法研究综述[J].系统仿真学报,2005,17(Z1):7-11. |
| |
作者姓名: | 曾庆田 范昊 吴哲辉 |
| |
作者单位: | 山东科技大学,信息科学与工程学院,青岛,266510 |
| |
基金项目: | 国家自然科学基金(60173053 和 60274063) 及山东省自然科学基金(Y2002G09)资助. |
| |
摘 要: | 综述了我们在Petri网的进程研究方面所取得的成果,完整地给出了Petri网进程描述方法的体系.详细阐述了Petri网的满进程、Petri网的基本进程段、Petri网的进程表达式、Petri网的进程网系统等概念.给出了Petri网基本进程段的划分标准,证明了任意Petri网的基本进程段集是一个有限集.分别研究了有界Petri网、无界公平Petri网和任意无界Petri网的进程表达式,给出了与进程表达式描述能力等价的Petri网的进程网系统的概念,研究了进程系统的语言表达式同原系统的进程表达式之间的一一对应关系.
|
关 键 词: | Petri网 进程 满进程 基本进程段 进程表达式 进程网系统 |
文章编号: | 1004-731X(2005)S-7-05 |
修稿时间: | 2005年8月17日 |
本文献已被 万方数据 等数据库收录! |
|