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

fYear

1993

fDate

1993

Firstpage

255

Lastpage

261

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Autonomous Decentralized Systems, 1993. Proceedings. ISADS 93., International Symposium on

Conference_Location

Kawasaki

Print_ISBN

0-8186-3125-2

Type

conf

DOI

10.1109/ISADS.1993.262696

Filename

262696