DocumentCode
1008339
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
Volume
23
Issue
3
fYear
1993
Firstpage
872
Lastpage
875
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;
fLanguage
English
Journal_Title
Systems, Man and Cybernetics, IEEE Transactions on
Publisher
ieee
ISSN
0018-9472
Type
jour
DOI
10.1109/21.256558
Filename
256558
Link To Document