%0 Journal Article %1 Brauer:1991kn %A Brauer, Wilfried %A Gold, Robert %A Vogler, Walter %D 1991 %J Advances in Petri Nets 1990 %K Petri-nets refinement %P 1--46 %T A survey of behaviour and equivalence preserving refinements of petri nets %U http://dx.doi.org/10.1007/3-540-53863-1_19 %X 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. Here the semantics of a net is a description of the possible runs incorporating information on choices to a varying degree.

@article{Brauer:1991kn, 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. Here the semantics of a net is a description of the possible runs incorporating information on choices to a varying degree.}, added-at = {2009-11-03T19:32:49.000+0100}, author = {Brauer, Wilfried and Gold, Robert and Vogler, Walter}, biburl = {https://www.bibsonomy.org/bibtex/2103206acb25f948a206689fcd8f9b8a5/hidders}, interhash = {df136759a5d330b9926251b61ad3f79b}, intrahash = {103206acb25f948a206689fcd8f9b8a5}, journal = {Advances in Petri Nets 1990}, keywords = {Petri-nets refinement}, pages = {1--46}, timestamp = {2009-11-03T19:32:49.000+0100}, title = {A survey of behaviour and equivalence preserving refinements of petri nets}, url = {http://dx.doi.org/10.1007/3-540-53863-1_19}, year = 1991 }