论文部分内容阅读
首先给出Ｐｅｔｒｉ网的四种组合操作定义，研究了它们的行为语义，同时讨论了它们对于活性公平性有界性和回归性的保持条件，获得一组充要条件基于此给出一种面向行为语义的系统Ｐｅｔｒｉ网模型的综合设计方法，从而为复杂大系统设计提供一条分散建模，自底向上的有效途径
Firstly, we give the definitions of four kinds of combinatorial operations of Petri nets, study their semantics of behavior, and discuss their preserving conditions for the boundedness and regularization of the activity fairness, and obtain a set of necessary and sufficient conditions. Based on this, Behavioral semantics of the system Petri net model of the integrated design method, thus for complex large-scale system design to provide a decentralized modeling, bottom-up and effective way