Title :
Representation of nonstructured concurrency by Petri net languages
Author :
Lee-Kwang, Hyung ; Favrel, Joel
Author_Institution :
Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Daejong, South Korea
Abstract :
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
Keywords :
Petri nets; formal languages; multiprocessing systems; Petri net languages; nonstructured concurrency representation; Computer science; Concurrent computing; Formal languages; Labeling; Petri nets; Terminology;
Journal_Title :
Systems, Man and Cybernetics, IEEE Transactions on
