DocumentCode
2829210
Title
A necessary and sufficient condition for SMA nets
Author
Lee, Dong-Ik ; Kumagai, Sadatoshi ; Kodama, Shinzo
Author_Institution
Dept. of Electron. Eng., Osaka Univ., Japan
fYear
1991
fDate
11-14 Jun 1991
Firstpage
822
Abstract
The aim is to clarify the restrictions on strongly connected state machine (SCSM) composition for state machine allocatable nets (SMA nets). The problem can be viewed as finding the structure of the synchronization between SCSMs to yield relevant properties such as SMA nets. The importance of investigating the structural properties of the SMA net can be understood by the fact that a free choice net is live and safe iff the net is an SMA net. Moreover, to synthesize a live and safe free choice net is often the goal of correct concurrent system design. A necessary and sufficient condition for a net composition to guarantee that the net falls into an important subclass of Petri nets is presented
Keywords
Petri nets; automata theory; synchronisation; Petri nets; SMA nets; correct concurrent system design; free choice net; live and safe free choice net; necessary and sufficient condition; net composition; state machine allocatable nets; strongly connected state machine; synchronization; Bars; Bipartite graph; Concrete; Discrete event systems; Petri nets; Sufficient conditions;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 1991., IEEE International Sympoisum on
Print_ISBN
0-7803-0050-5
Type
conf
DOI
10.1109/ISCAS.1991.176489
Filename
176489
Link To Document