Paper Info
Title
Synchronization mechanism of autonomous decentralized systems modelled by state machine decomposable nets
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
Year
DOI
Venue
1993
10.1109/ISADS.1993.262696
Kawasaki
Keywords
Field
DocType
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
SMA*,Automata theory,Petri net,Computer science,Finite-state machine,Reachability,Process architecture,Strongly connected component,Time complexity,Distributed computing
Conference
Citations 
PageRank 
References 
0
0.34
4
Authors
3
Name
Order
Citations
PageRank
Dongik Lee17714.46
Sadatoshi Kumagai26613.60
Shinzo Kodama3112.72