For the most recent entries see the Petri Nets Newsletter.

Interleaving Semantics and Action Refinement with Atomic Choice.

Czaja, Ingo; van Glabbeek, Rob J.; Goltz, Ursula

In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 609; Advances in Petri Nets 1992, pages 89-107. Springer-Verlag, 1992.

Abstract: We investigate how to restrict the concept of `action refinement' such that established interleaving equivalences for concurrent systems are preserved under these restricted refinements. We show that `interleaving bisimulation' is preserved under refinement if we do not allow to refine action occurrences deciding choices and action occurrences involved in auto-concurrency. On the other hand, `interleaving trace equivalence' is still not preserved under these restricted refinements.

Keywords: concurrency; action refinement; atomicity; flow event structures; semantic equivalences; interleaving vs. partial orders; bisimulation.

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

Back to the Petri Nets Bibliography