IEEE - Institute of Electrical and Electronics Engineers, Inc. - Synchronization mechanism of autonomous decentralized systems modelled by state machine decomposable nets

Author(s): Lee, D.-I. ; Kumagai, S. ; Kodama, S.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Kawasaki, Japan, Japan
Conference Date: 30 March 1993
Page(s): 255 - 261
ISBN (Paper): 0-8186-3125-2
DOI: 10.1109/ISADS.1993.262696
Regular:

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... View More

Advertisement