摘要: Let ∑1 = (N1,M1),∑2 (N2,M2) be two Petri nets, and do not contain freezing tokens. Ni (Si,Ti;Fi), i 1, 2,, T1 ∩ T2 Φ, S1 S2 ≠Φ, s-composition net ∑s is defined on nets ∑2 in this paper. The liveness of discussed, if are live, some deciding conditions for preserving given based the concept mutually inverse ordered pair places Scomposition net. For live bounded any merging a places, then their S-composition bounded. If ∑s, control device irnplementing presented.
cnki.com.cn 参考文章(0)