Title :
Synchronization mechanism of autonomous decentralized systems modelled by state machine decomposable nets
Author :
Lee, Dong-Ik ; Kumagai, Sadatoshi ; Kodama, Shinzo
Author_Institution :
Osaka Univ., Japan
Abstract :
A stronger necessary and sufficient condition for a net to be a state machine allocatable (SMA) net is derived, and a modified condition that can be verified in polynomial time and space is obtained. A complete structural characterization of SMA nets that can be used to design a live and safe free choice system by strongly connected state machine (SCSM) composition techniques is obtained. Dynamical properties of LSFC nets, especially the reachability of LSFC nets, can also be analyzed by using the structural properties of SMA nets obtained here
Keywords :
Petri nets; automata theory; distributed processing; synchronisation; SCSM composition techniques; SMA nets; autonomous decentralized systems; necessary and sufficient condition; reachability; state machine allocatable net; state machine decomposable nets; strongly connected state machine; structural characterization; synchronization mechanism; Computer hacking; Concrete; Design methodology; Information processing; Intelligent structures; Intelligent systems; Machine intelligence; Petri nets; Polynomials; Sufficient conditions;
Conference_Titel :
Autonomous Decentralized Systems, 1993. Proceedings. ISADS 93., International Symposium on
Conference_Location :
Kawasaki
Print_ISBN :
0-8186-3125-2
DOI :
10.1109/ISADS.1993.262696
