For the most recent entries see the Petri Nets Newsletter.

Partial Order Semantics for Refinement of Actions --- Neither Necessary nor Always Sufficient but Appropriate when Used with Care.

van Glabbeek, Rob; Goltz, Ursula

In: Bull. EATCS, Vol. 38, pages 154-163. 1989.

Abstract: The paper tries to clarify the relationship of various semantic equivalences with regard to the property of preservation under refinement of actions (a semantic equivalence is preserved under action refinement if two equivalent processes remains equivalent after replacing the occurences of an action by a more complicated process). The authors illustrate by interesting examples that there are several equivalences based on partial orders which are not preserved by refinement, that it is not necessary to employ partial order semantics to achieve preservation under refinement, and that the appropriate equivalence notion has to be established carefully depending on the considered questions.

Keywords: partial order semantics; semantic equivalence; preservation (under) refinement (of actions); bisimulation.

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

Back to the Petri Nets Bibliography