Relating Reversible Petri Nets and Reversible Event Structures, Categorically

Pinna G. M.
2023-01-01

Abstract

Causal nets (CNs) are Petri nets where causal dependencies are modelled via inhibitor arcs. They play the role of occurrence nets when representing the behaviour of a concurrent and distributed system, even when reversibility is considered. In this paper we extend CNs to account also for asymmetric conflicts and study (i) how this kind of nets, and their reversible versions, can be turned into a category; and (ii) their relation with the categories of reversible asymmetric event structures.
2023
Inglese
Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
978-3-031-35354-3
978-3-031-35355-0
Springer
Heidelberg
GERMANIA
Marieke Huisman, António Ravara
LECTURE NOTES IN COMPUTER SCIENCE
13910
206
223
18
2-s2.0-85164254321
Formal Techniques for Distributed Objects, Components, and Systems
Esperti anonimi
19 - 23 June
Lisbon
internazionale
scientifica
Reversibility, Category Theory, Petri Nets, Event Structures
sì
4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Melgratti, H.; Mezzina, C. A.; Pinna, G. M.
273
3
4.1 Contributo in Atti di convegno
none
info:eu-repo/semantics/conferencePaper
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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

Questionario e social

Condividi su:
Impostazioni cookie