| 无界Petri网的进程表达式 |
| |
| 引用本文： | 曾庆田,吴哲辉.无界Petri网的进程表达式[J].计算机学报,2003,26(12):1629-1636. |
| |
| 作者姓名： | 曾庆田 吴哲辉 |
| |
| 作者单位： | 1. 中国科学院计算技术研究所,北京,100080;山东科技大学计算机科学与技术系,泰安,271019;中国科学院研究生院,北京,100039
2. 山东科技大学计算机科学与技术系,泰安,271019 |
| |
| 基金项目： | 国家自然科学基金 (60 1 730 53 ,60 2 740 63)，山东省中青年科学家科研奖励基金 (0 2BS0 69)资助 |
| |
| 摘 要： | 借助进程网系统的概念，首先证明了无界Petri网∑的进程与其进程网系统∑p，的语言之间存在一一映射关系，将求取∑的进程表达式的问题转化成求取∑p，的语言问题．由于∑p，的结构一般比较复杂，直接求取其语言仍然比较困难．通过定义库所的指标函数，将结构复杂的∑p，分解成结构简单的子网系统，引入了语言的同步交运算，给出了利用这些子网系统求取结构复杂的∑p，语言的方法，从而得到了求取无界Petri网∑的进程表达式的算法．
|
| 关 键 词： | 无界Petri网 进程表达式 进程行为 模型化 |
| 修稿时间： | 2002年9月23日 |
Process Expression of Unbounded Petri Net |
| |
| ZENG Qing-Tian , WU Zhe-Hui.Process Expression of Unbounded Petri Net[J].Chinese Journal of Computers,2003,26(12):1629-1636. |
| |
| Authors: | ZENG Qing-Tian WU Zhe-Hui |
| |
| Affiliation: | ZENG Qing-Tian 1),2),3) WU Zhe-Hui 2) 1) |
| |
| Abstract: | |
| |
| Keywords: | unbounded Petri net process expression process net system Petri net languages decomposition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
