Standard

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. стр. 117-139 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 10877 LNCS).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

Harvard

Best, E, Gribovskaya, N & Virbitskaite, I 2018, From event-oriented models to transition systems. в Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Том. 10877 LNCS, Springer-Verlag GmbH and Co. KG, стр. 117-139, 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018, Bratislava, Словакия, 24.06.2018. https://doi.org/10.1007/978-3-319-91268-4_7

APA

Best, E., Gribovskaya, N., & Virbitskaite, I. (2018). From event-oriented models to transition systems. в Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Proceedings (стр. 117-139). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 10877 LNCS). Springer-Verlag GmbH and Co. KG. https://doi.org/10.1007/978-3-319-91268-4_7

Vancouver

Best E, Gribovskaya N, Virbitskaite I. From event-oriented models to transition systems. в Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Proceedings. Springer-Verlag GmbH and Co. KG. 2018. стр. 117-139. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-91268-4_7

Author

Best, Eike ; Gribovskaya, Nataliya ; Virbitskaite, Irina. / From event-oriented models to transition systems. Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Proceedings. Springer-Verlag GmbH and Co. KG, 2018. стр. 117-139 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

BibTeX

@inproceedings{f0d02ff62ed94163b69104047c0367ae,
title = "From event-oriented models to transition systems",
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.",
keywords = "Configuration structures, Event structures, Transition systems",
author = "Eike Best and Nataliya Gribovskaya and Irina Virbitskaite",
note = "Publisher Copyright: {\textcopyright} 2018, Springer International Publishing AG, part of Springer Nature.; 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018 ; Conference date: 24-06-2018 Through 29-06-2018",
year = "2018",
month = jan,
day = "1",
doi = "10.1007/978-3-319-91268-4_7",
language = "English",
isbn = "9783319912677",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag GmbH and Co. KG",
pages = "117--139",
booktitle = "Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Proceedings",
address = "Germany",

}

RIS

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