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