In: Lecture Notes in Computer Science, Vol. 1091; Proc. 17th International Conference in Application and Theory of Petri Nets (ICATPN'96), Osaka, Japan, pages 440-459. Springer-Verlag, June 1996.
Abstract: We introduce a new class of Place/Transition net systems, (SC)*ECS, a generalization of Equal Conflict systems and Deterministic Systems of Sequential Processes. (SC)*ECS are modular and hierarchical by definition: An (SC)*ECS is made up of a set of (SC)*ECS modules that asynchronously communicate through buffers in a restricted way.
After defining the class, we take advantage of its modular and hierarchical structure to analyze it, i.e. the study will not be made on the flat net, but taking into account its global architecture. We present a polynomial time method to synthesize (SC)*ECS nets which are well-formed, i.e. structurally bounded and live.