In: Proceedings of the 10th International Conference on Application and Theory of Petri Nets, 1989, Bonn, Germany, pages 247-271. 1989.
Also in: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 483; Advances in Petri Nets 1990, pages 436-456. Berlin, Germany: Springer-Verlag, 1991.
Abstract: The paper introduces a notion of preorder between elementary net systems which is based on the observability of places. This latter allows one to define the notion of observable local states whose transformations are the main concern of the proposed state transformation (ST) preorder. ST preorder compares systems with a different level of granularity in local states transformation by requiring an injective morphism between their algebraic structures of observable local states. In addition, it allows one to define in a standard way a notion of ST equivalence. ST preorder and equivalence over a subclass of EN systems (the S-observable systems) are discussed.
Keywords: elementary net system; observability-based net preorder; state transformation preorder; state transformation equivalence; algebraic structure (of) observable local state(s); S-observable system.