提出了 M- Petri网的概念 ,并讨论了其相容性、守恒性和有界性的判定条件 . The concept of M-Petri net is proposed, and the c......

对Petri网的有界性和公平性进行了再次讨论,指出Petri网的结构有界库所子集的外延子网是结构有界网,当Petri网的结构有界库所子集......

...

根据Petri网结构理论,讨论非对称选择网(AC)的一个子类:新扩展强化非对称选择网(NESAC)的有界性与活性单调性.判定NESAC网N结构有......