From event-oriented models to transition systems

Eike Best, Nataliya Gribovskaya, Irina Virbitskaite

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2 Citations (Scopus)

Abstract

Two structurally different methods of associating transition system semantics to event-oriented models of distributed systems are distinguished in the literature. One of them is based on configurations (event sets), the other on residuals (model fragments). In this paper, a variety of models is investigated, ranging from extended prime event structures to configuration structures, and it is shown that the two semantics lead to isomorphic results. This strengthens prior work where bisimilarity (but not necessarily isomorphism) is achieved for a smaller range of models. Thanks to the isomorphisms obtained here, a wide range of facts known from the literature on configuration-based transition systems can be extended to residual-based ones.

Original languageEnglish
Title of host publicationApplication and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Proceedings
PublisherSpringer-Verlag GmbH and Co. KG
Pages117-139
Number of pages23
ISBN (Print)9783319912677
DOIs
Publication statusPublished - 1 Jan 2018
Event39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018 - Bratislava, Slovakia
Duration: 24 Jun 201829 Jun 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10877 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018
CountrySlovakia
CityBratislava
Period24.06.201829.06.2018

Keywords

  • Configuration structures
  • Event structures
  • Transition systems

Fingerprint

Dive into the research topics of 'From event-oriented models to transition systems'. Together they form a unique fingerprint.

Cite this