Representation of nonstructured concurrency by Petri net languages
Hyung Lee-Kwang, J. Favrel · IEEE Transactions on Systems Man and Cybernetics · 1993
The concurrency is classified into two types: structured concurrency and nonstructured concurrency. After showing that the nonstructured concurrency cannot be represented by the conventional notations in the Petri net language, a method to represent such concurrency by the language is proposed. The proposed method allows us to utilize the existing approaches for analyzing properties of a nonstructured concurrency by the Petri net languages.>