For the most recent entries see the Petri Nets Newsletter.

A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets.

Brauer, Wilfried; Gold, Robert; Vogler, Walter

In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 483; Advances in Petri Nets 1990, pages 1-46. Berlin, Germany: Springer-Verlag, 1991.

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 same behaviour, where behaviour often means safeness or liveness. Or they may transform semantically equivalent nets to refined nets which are semantically equivalent again. The semantics of a net is a description of the possible runs incorporating information on choices to a varying degree.

Keywords: behaviour (and) equivalence preserving refinement(s) (of nets), (survey); safeness; liveness; semantic equivalence (of nets).


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography