Title :
Equivalence of temporal and structural relationships of synthesized nets using knitting technique
Author_Institution :
Dept. of Manage. Inf. Syst., Nat. Cheng Chi Univ., Taipei, Taiwan
Abstract :
The knitting technique provides a set of simple synthesis rules to construct a large Petri net (PN) avoiding time-consuming verification. The linear-algebra technique is useful to show the synthesized nets (SC) are bounded and conservative, but unable to prove that they are live. This paper shows that the SC are live by showing the equivalence of temporal and structure relationships. We also show that they belong to a special class of nets called synchronized choice (SC) nets
Keywords :
Petri nets; linear algebra; knitting technique; linear-algebra technique; structural relationships; synchronized choice nets; synthesis rules; synthesized net; temporal relationships; Chaos; Circuits; Management information systems; Marine vehicles; Refining;
Conference_Titel :
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-4053-1
DOI :
10.1109/ICSMC.1997.638111
