TY - GEN
T1 - Configuration- and residual-based transition systems for event structures with asymmetric conflict
AU - Best, Eike
AU - Gribovskaya, Nataliya
AU - Virbitskaite, Irina
PY - 2017/1/1
Y1 - 2017/1/1
N2 - In order to associate a transition system with an event structure, it is customary to use configurations, constructing a transition system by repeatedly adding executable events. It is also possible to use residuals, constructing a transition system by repeatedly deleting nonexecutable events. The present paper proposes a systematic investigation of how the two methods are interrelated. The focus will be on asymmetric versions of prime, bundle, and dual event structures. For each of them, configuration-based and residual-based transition system semantics will be defined. The pairwise bisimilarity of the resulting transition systems will be proved, considering interleaving, multiset, and pomset semantics.
AB - In order to associate a transition system with an event structure, it is customary to use configurations, constructing a transition system by repeatedly adding executable events. It is also possible to use residuals, constructing a transition system by repeatedly deleting nonexecutable events. The present paper proposes a systematic investigation of how the two methods are interrelated. The focus will be on asymmetric versions of prime, bundle, and dual event structures. For each of them, configuration-based and residual-based transition system semantics will be defined. The pairwise bisimilarity of the resulting transition systems will be proved, considering interleaving, multiset, and pomset semantics.
KW - Bisimilarity
KW - Event structures with asymmetric conflict
KW - Interleaving/Multiset/Pomset semantics
KW - Labelled transition systems
KW - PETRI NETS
KW - CONCURRENCY
UR - http://www.scopus.com/inward/record.url?scp=85010644395&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-51963-0_11
DO - 10.1007/978-3-319-51963-0_11
M3 - Conference contribution
AN - SCOPUS:85010644395
SN - 9783319519623
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 132
EP - 146
BT - SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE
A2 - Steffen, B
A2 - Baier, C
A2 - VanDenBrand, M
A2 - Eder, J
A2 - Hinchey, M
A2 - Margaria, T
PB - Springer-Verlag GmbH and Co. KG
T2 - 43rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017
Y2 - 16 January 2017 through 20 January 2017
ER -