Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
From event-oriented models to transition systems. / Best, Eike; Gribovskaya, Nataliya; Virbitskaite, Irina.
Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Proceedings. Springer-Verlag GmbH and Co. KG, 2018. p. 117-139 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10877 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
}
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 -
ID: 13755357