Jun 8, 2005 · Results on refinements of places and transitions in Petri nets are surveyed. Such refinements may either transform a net to a refined net with the same ...
In a Petri net, refinement means replacing a transition or a place by some net. In the literature mostly refinement of transitions is studied, and an example of ...
Results on refinements of places and transitions in Petri nets are surveyed and the semantics of a net is a description of the possible runs incorporating ...
Abstract: Results on refinements of places and transitions in Petri nets are surveyed. Such refinements may either transform a net to a refined net with the ...
APN 90: Proceedings on Advances in Petri nets 1990. A survey of behaviour and equivalence preserving refinements of Petri nets. Pages 1 - 46. NEXT CHAPTER. A ...
People also ask
What are the Behavioural properties of petri nets?
A survey of behaviour and equivalence preserving ... - OPUS 4
opus.bibliothek.uni-augsburg.de › docId
A survey of behaviour and equivalence preserving refinements of petri nets ... Advances in Petri Nets 1990. Publisher: Springer. Place of publication: Berlin ...
Gold, W. Vogler. A survey of behavior and equivalence preserving refinement of Petri nets. Lecture Notes in Computer Science, 483 (1990), pp. 1-46. Google ...
Wilfried Brauer, Robert Gold, Walter Vogler: A survey of behaviour and equivalence preserving refinements of Petri nets. 1-46. view. electronic edition via ...
Vogler, A survey of behavior and equivalence preserving refinement of Petri nets,. Lecture Notes in Computer Science 483 (1990) 1–46. [2] T.Y. Cheung, Y. Lu ...
Missing: behaviour | Show results with:behaviour
Gold, W. Vogler. A survey of behaviour and equivalence preserving refinements of Petri nets. Advances of Petri Nets 1990, Lecture Notes in Computer Science, Vol ...