We study the relation between labelled transition systems and the corresponding partial orders of regions. In particular, we focus on the sets of their potential events, or labels on the transitions, providing them with a structure so as to reason about concurrency from the perspective of the observable properties of these systems. This is achieved by introducing the notion of minimal events, as the generators of such a structure of labels. We show that these events are sufficient to synthesize a transition system, such that its Regional Partial Order is isomorphic to the one obtained with the full set of events.

Bernardinello, L., Ferigato, C., Pomello, L., PUERTO AUBEL, A. (2018). On the Decomposition of Regional Events in Elementary Systems. In Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018 (pp.39-55). CEUR-WS.org.

On the Decomposition of Regional Events in Elementary Systems

Bernardinello, L;Pomello, L;PUERTO AUBEL, ADRIAN
2018

Abstract

We study the relation between labelled transition systems and the corresponding partial orders of regions. In particular, we focus on the sets of their potential events, or labels on the transitions, providing them with a structure so as to reason about concurrency from the perspective of the observable properties of these systems. This is achieved by introducing the notion of minimal events, as the generators of such a structure of labels. We show that these events are sufficient to synthesize a transition system, such that its Regional Partial Order is isomorphic to the one obtained with the full set of events.
slide + paper
Petri Nets, Elementary Systems, Region Theory, Quantum Logic, Synthesis of Transition Systems
English
International Workshop on Algorithms {&} Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design {ACSD} 2018
2018
Pieter Kwantes, Jetty Kleijn, Luca Bernardinello, Irina Lomazova, Roman Nesterov, Lucia Pomello, Carlo Ferigato, Adrián Puerto Aubel, Wil M.P. van der Aalst, Raymond Devillers, Evgeny Erofeev, Thomas Hujsa, Kamila Barylska, Anna Gogolińska, Łukasz Mikulski, Anna Philippou, Marcin Piątkowski, Kyriaki Psara, Georgy Lukyanov, Andrey Mokhov.
van der Aalst, WMP; Bergenthum, R; Carmona, J
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018
18-giu-2018
2018
2115
39
55
http://ceur-ws.org/Vol-2115/ATAED2018-39-55.pdf
reserved
Bernardinello, L., Ferigato, C., Pomello, L., PUERTO AUBEL, A. (2018). On the Decomposition of Regional Events in Elementary Systems. In Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018 (pp.39-55). CEUR-WS.org.
File in questo prodotto:
File Dimensione Formato  
bfpp_ataed2018.pdf

Solo gestori archivio

Tipologia di allegato: Submitted Version (Pre-print)
Dimensione 230.91 kB
Formato Adobe PDF
230.91 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
ATAED2018-39-55.pdf

Solo gestori archivio

Tipologia di allegato: Publisher’s Version (Version of Record, VoR)
Dimensione 636.93 kB
Formato Adobe PDF
636.93 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/204870
Citazioni
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
Social impact