Hierarchical partition of nonstructured concurrent systems

Abstract

In this paper, the concepts of structured and nonstructured concurrency are introduced to classify concurrent systems, and a hierarchical partition method is used to handle the complexity of nonstructured concurrent systems. A concurrent system with structured and nonstructured concurrency is modelled by a precedence graph. The language of the precedence graph is defined, and a representation method of the language is developed, By decomposing the language hierarchically, hierarchical partitions of the concurrent system can be obtained. From the partitions, a concurrent system can be reduced hierarchically.