DocumentCode
1156375
Title
Generalized Petri Net Reduction Method
Author
Lee-Kwang, Hyung ; Favrel, Joel ; Baptiste, Pierre
Volume
17
Issue
2
fYear
1987
fDate
3/1/1987 12:00:00 AM
Firstpage
297
Lastpage
303
Abstract
A reduction method of generalized Petri nets is proposed. This method is a generalization of the reduction method which was previously given by Lee-Kwang and Favrel. The proposed method is defined not on the basis of the dynamic behavior but of the structure of the net, and thus the test of reducible subnet can be done by a deterministic approach. The reduction preserves the properties such as liveness, boundedness, and proper termination, and allows easy analysis of generalized Petri nets.
Keywords
Automatic testing; Bars; Bipartite graph; Concurrent computing; Graph theory; Information analysis; Petri nets; State-space methods; Terminology;
fLanguage
English
Journal_Title
Systems, Man and Cybernetics, IEEE Transactions on
Publisher
ieee
ISSN
0018-9472
Type
jour
DOI
10.1109/TSMC.1987.4309041
Filename
4309041
Link To Document