| Petri网的组合操作及其在并发系统综合建模中的应用 |
| |
| 引用本文： | 蒋昌俊,郑应平.Petri网的组合操作及其在并发系统综合建模中的应用[J].系统工程学报,1996,11(4):77-83. |
| |
| 作者姓名： | 蒋昌俊 郑应平 |
| |
| 作者单位： | 中国科学院计算技术(蒋昌俊)，中国科学院自动化(郑应平)，山东矿业学院研究所计算机系(闫春钢) |
| |
| 基金项目： | 国家自然科学基金,863计划资助 |
| |
| 摘 要： | 首先给出Ｐｅｔｒｉ网的四种组合操作定义，研究了它们的行为语义，同时讨论了它们对于活性公平性有界性和回归性的保持条件，获得一组充要条件基于此给出一种面向行为语义的系统Ｐｅｔｒｉ网模型的综合设计方法，从而为复杂大系统设计提供一条分散建模，自底向上的有效途径
|
| 关 键 词： | Petri网，系统综合，自底向上，分散建模，组合操作 |
THE COMBINED MANIPULATION OF PETRI NET AND ITS USE IN THE CONCURRENT SYSTEM MODELLING |
| |
| Jiang Changjun.THE COMBINED MANIPULATION OF PETRI NET AND ITS USE IN THE CONCURRENT SYSTEM MODELLING[J].Journal of Systems Engineering,1996,11(4):77-83. |
| |
| Authors: | Jiang Changjun |
| |
| Abstract: | In the paper, we first presented four definitions of combined manipulation. We discussed their behavioural semantics and preserving condition for liveness, fairness, boundary and regression. We got a series necessary and sufficient conditions. Hence, we presented a synthetic design method of Petri Net model facing behavioural semantics. Thus, an important significance in scatter establishment from bottom to up was presented for large systems. |
| |
| Keywords: | Petri net system synthesis from bottom to up scatter establishment combined manipulation |
| 本文献已被 CNKI 维普 等数据库收录！ |
