Petri网的组合操作及其在并发系统综合建模中的应用

THE COMBINED MANIPULATION OF PETRI NET AND ITS USE IN THE CONCURRENT SYSTEM MODELLING

首先给出Ｐｅｔｒｉ网的四种组合操作定义，研究了它们的行为语义，同时讨论了它们对于活性公平性有界性和回归性的保持条件，获得一组充要条件基于此给出一种面向行为语义的系统Ｐｅｔｒｉ网模型的综合设计方法，从而为复杂大系统设计提供一条分散建模。

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.