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).
Back to the Petri Nets Bibliography