Synchronization mechanism of autonomous decentralized systems modelled by state machine decomposable nets

DOI

説明

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

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ