DocumentCode
317969
Title
Equivalence of temporal and structural relationships of synthesized nets using knitting technique
Author
Chao, D.Y.
Author_Institution
Dept. of Manage. Inf. Syst., Nat. Cheng Chi Univ., Taipei, Taiwan
Volume
2
fYear
1997
fDate
12-15 Oct 1997
Firstpage
1186
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location
Orlando, FL
ISSN
1062-922X
Print_ISBN
0-7803-4053-1
Type
conf
DOI
10.1109/ICSMC.1997.638111
Filename
638111
Link To Document