DocumentCode
315787
Title
Analysis of structural properties in extended marked graphs
Author
Tsuji, Kohkichi
Author_Institution
Aichi Prefectural Univ., Nagoya, Japan
Volume
2
fYear
1997
fDate
9-12 Jun 1997
Firstpage
1005
Abstract
Proposes the transformation rule in order to derive more useful condition for checking structural properties and behavioral properties of an EMG. We have shown the properties of the transformed net N´ and the differences between a original net N and N´. We have also shown that the solution of its state equation had been derived by this transformation rule. Further investigation is the derivation of the necessary and sufficient condition for reachability of N and structural properties of N by using the transformed net N´
Keywords
Petri nets; behavioral properties; extended marked graphs; reachability; state equation; structural properties; transformation rule; transformed net; Communication system control; Concurrent computing; Control system synthesis; Discrete event systems; Electromyography; Electronic mail; Petri nets; Protocols; Sufficient conditions; System recovery;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 1997. ISCAS '97., Proceedings of 1997 IEEE International Symposium on
Print_ISBN
0-7803-3583-X
Type
conf
DOI
10.1109/ISCAS.1997.621900
Filename
621900
Link To Document