Configuration- and residual-based transition systems for event structures with asymmetric conflict

Eike Best, Nataliya Gribovskaya, Irina Virbitskaite

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationSOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE
Subtitle of host publicationTheory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings
EditorsB Steffen, C Baier, M VanDenBrand, J Eder, M Hinchey, T Margaria
PublisherSpringer-Verlag GmbH and Co. KG
Pages132-146
Number of pages15
ISBN (Print)9783319519623
DOIs
Publication statusPublished - 1 Jan 2017
Event43rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017 - Limerick, Ireland
Duration: 16 Jan 201720 Jan 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10139 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference43rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017
CountryIreland
CityLimerick
Period16.01.201720.01.2017

Keywords

  • Bisimilarity
  • Event structures with asymmetric conflict
  • Interleaving/Multiset/Pomset semantics
  • Labelled transition systems
  • PETRI NETS
  • CONCURRENCY

Fingerprint

Dive into the research topics of 'Configuration- and residual-based transition systems for event structures with asymmetric conflict'. Together they form a unique fingerprint.

Cite this