A BASIC THEOREM FOR MODULAR SYNTHESIS OF STATE MACHINE ALLOCATABLE NETS

Basic structural characteristics, which are useful in modular synthesi s based on strongly connected stare machines, of SMA/LBFC nets are dis cussed in this paper. A more convincing and direct proof of the equiva lence of two structural characterization of the class of Petri nets is given. This proof will give clearer view of the structural characteri stics of LBFC/SMA nets. On the other hand, however, the structural cha racteristics are not practically amenable in application to modular sy nthesis of SMA nets from a given set of SCSM's since all possible SCSM 's should be examined For the verification of the given conditions, Th e later half elf this paper is devoted into strengthening the results, i.e., in composition of an SMA ntr from a given set of SCSM's the con dition is also satisfied in any SCSM generated by composition.