Title :
Pitfalls of Petri net transformation
Author :
Tao, Z.P. ; Goossens, M.
Author_Institution :
INFO Dept., Frre Univ. of Brussels, Belgium
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;
Conference_Titel :
Parallel and Distributed Processing, 1991. Proceedings of the Third IEEE Symposium on
Conference_Location :
Dallas, TX
Print_ISBN :
0-8186-2310-1
DOI :
10.1109/SPDP.1991.218219
