Pitfalls of Petri net transformation

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 rul...

Full description

Saved in:
Bibliographic Details
Main Authors: Tao, Z.P., Goossens, M.
Format: Conference Proceeding
Language:English
Subjects:
Explosions
Large-scale systems
Mathematical model
Petri nets
System recovery
Terminology
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.< >
DOI:10.1109/SPDP.1991.218219