In: Proceeding of the 16th International Conference on Application and Theory of Petri Nets, Turin, June 1995, 432-450. 1995.
Abstract: Equivalence notions capture interesting behavioural properties of a system. Functional equivalences of Petri Nets are state based equivalence notions that allow to compare systems with a different action level of detail. We introduce a functional equivalence on Petri nets suited for hierarchic modular system design and investigate correct transformation rules.