摘要
本文提出ＳＴ－ 组合Ｐｅｔｒｉ网的概念，讨论了ＳＴ－ 组合Ｐｅｔｒｉ网对子网的结构性质保持问题，深入研究了ＳＴ－ 组合Ｐｅｔｒｉ网的结构活性、结构有界性、守恒性、可重复性、相容性、公平性．
The ST composition net of Petri nets is defined. The conditions of structural property preservation by ST composition of Petri nets are obtained, such as structural liveness, structural boundedness, conservativeness, repetitiveness, consistency, S invariant and T invariant. The composition of Petri nets given in this paper may be used as a effective method of analysis and synthesis of net systems.
出处
《小型微型计算机系统》
CSCD
北大核心
1999年第10期789-793,共5页
Journal of Chinese Computer Systems
基金
山东省自然科学基金
关键词
PETRI网
ST-组合
结构性质
Petri net ST composition Structural property Preservation
