DocumentCode
3162452
Title
Pitfalls of Petri net transformation
Author
Tao, Z.P. ; Goossens, M.
Author_Institution
INFO Dept., Frre Univ. of Brussels, Belgium
fYear
1991
fDate
2-5 Dec 1991
Firstpage
357
Lastpage
360
Abstract
It is shown that there are some pitfalls in the existing methods of Petri net transformation. The existing methods may not guarantee the preserving of the properties of original nets for some kinds of Petri nets. Some new concepts are defined for the derivation of a new net reduction method. New rules and algorithms of Petri net reduction are derived in order to avoid the problems of existing approaches
Keywords
Petri nets; Petri net reduction; Petri net transformation; Explosions; Large-scale systems; Mathematical model; Petri nets; System recovery; Terminology;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Processing, 1991. Proceedings of the Third IEEE Symposium on
Conference_Location
Dallas, TX
Print_ISBN
0-8186-2310-1
Type
conf
DOI
10.1109/SPDP.1991.218219
Filename
218219
Link To Document