From event-oriented models to transition systems

Eike Best, Nataliya Gribovskaya, Irina Virbitskaite

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

2 Цитирования (Scopus)


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.

Язык оригиналаанглийский
Название основной публикацииApplication and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Proceedings
ИздательSpringer-Verlag GmbH and Co. KG
Число страниц23
ISBN (печатное издание)9783319912677
СостояниеОпубликовано - 1 янв 2018
Событие39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018 - Bratislava, Словакия
Продолжительность: 24 июн 201829 июн 2018

Серия публикаций

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Том10877 LNCS
ISSN (печатное издание)0302-9743
ISSN (электронное издание)1611-3349


Конференция39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018


Подробные сведения о темах исследования «From event-oriented models to transition systems». Вместе они формируют уникальный семантический отпечаток (fingerprint).