TY - GEN

T1 - From event-oriented models to transition systems

AU - Best, Eike

AU - Gribovskaya, Nataliya

AU - Virbitskaite, Irina

N1 - Publisher Copyright: © 2018, Springer International Publishing AG, part of Springer Nature.

PY - 2018/1/1

Y1 - 2018/1/1

N2 - 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.

AB - 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.

KW - Configuration structures

KW - Event structures

KW - Transition systems

UR - http://www.scopus.com/inward/record.url?scp=85048057626&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-91268-4_7

DO - 10.1007/978-3-319-91268-4_7

M3 - Conference contribution

AN - SCOPUS:85048057626

SN - 9783319912677

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 117

EP - 139

BT - Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Proceedings

PB - Springer-Verlag GmbH and Co. KG

T2 - 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018

Y2 - 24 June 2018 through 29 June 2018

ER -