For the most recent entries see the
Petri Nets Newsletter
.
Keyword: semantic equivalence
Brauer, Wilfried
;
Gold, Robert
;
Vogler, Walter
:
A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets.
1991.
van Glabbeek, Rob
;
Goltz, Ursula
:
Partial Order Semantics for Refinement of Actions --- Neither Necessary nor Always Sufficient but Appropriate when Used with Care.
1989.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography