A distributed operational view of Reversible Prime Event Structures

Reversible prime event structures extend the well-known model of prime event structures to represent reversible computational processes. Essentially, they give abstract descriptions of processes capable of undoing computation steps. Since their introduction, event structures have played a pivotal ro...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science pp. 1 - 13
Main Authors: Melgratti, Hernan, Mezzina, Claudio Antares, Michele Pinna, G.
Format: Conference Proceeding
Language:English
Published: IEEE 29.06.2021
Subjects:
Color
Computational modeling
Computer science
Context modeling
Inhibitors
Periodic structures
Petri nets
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract Reversible prime event structures extend the well-known model of prime event structures to represent reversible computational processes. Essentially, they give abstract descriptions of processes capable of undoing computation steps. Since their introduction, event structures have played a pivotal role in connecting operational models (traditionally, Petri nets and process calculi) with denotational ones (algebraic domains). For this reason, there has been a lot of interest in linking different classes of operational models with different kinds of event structures. Hence, it is natural to ask which is the operational counterpart of reversible prime event structures. Such question has been previously addressed for a subclass of reversible prime event structures in which the interplay between causality and reversibility is restricted to the so-called cause-respecting reversible structures. In this paper, we present an operational characterisation of the full-fledged model and show that reversible prime event structures correspond to a subclass of contextual Petri nets, called reversible causal nets. The distinctive feature of reversible causal nets is that causality is recovered from inhibitor arcs instead of the usual overlap between post and presets of transitions. In this way, we are able to operationally explain also out-of-causal order reversibility.
AbstractList Reversible prime event structures extend the well-known model of prime event structures to represent reversible computational processes. Essentially, they give abstract descriptions of processes capable of undoing computation steps. Since their introduction, event structures have played a pivotal role in connecting operational models (traditionally, Petri nets and process calculi) with denotational ones (algebraic domains). For this reason, there has been a lot of interest in linking different classes of operational models with different kinds of event structures. Hence, it is natural to ask which is the operational counterpart of reversible prime event structures. Such question has been previously addressed for a subclass of reversible prime event structures in which the interplay between causality and reversibility is restricted to the so-called cause-respecting reversible structures. In this paper, we present an operational characterisation of the full-fledged model and show that reversible prime event structures correspond to a subclass of contextual Petri nets, called reversible causal nets. The distinctive feature of reversible causal nets is that causality is recovered from inhibitor arcs instead of the usual overlap between post and presets of transitions. In this way, we are able to operationally explain also out-of-causal order reversibility.
Author Melgratti, Hernan
Mezzina, Claudio Antares
Michele Pinna, G.
Author_xml – sequence: 1
  givenname: Hernan
  surname: Melgratti
  fullname: Melgratti, Hernan
  organization: ICC-Universidad de Buenos Aires,Conicet,Argentina
– sequence: 2
  givenname: Claudio Antares
  surname: Mezzina
  fullname: Mezzina, Claudio Antares
  organization: Università di Urbino,Dipartimento di Scienze Pure e Applicate,Italy
– sequence: 3
  givenname: G.
  surname: Michele Pinna
  fullname: Michele Pinna, G.
  organization: Università di Cagliari,Dipartimento di Matematica e Informatica,Italy
BookMark eNotj91KwzAYQCMoqLNPIEheYDV_zc_lKNMNCorT6_G1-QKR2o40rfj2Cu7q3B3OuSWXwzggIQ-clZwz99js60MlhFalYIKXThmmhbwghTOWa10pZV2lr0kxTZ-MMWENZ8rdkHpDfZxyiu2c0dPxhAlyHAfo6RLxm46BvuGCaYptj_Q1xS-k2wWHTA85zV2eE0535CpAP2Fx5op8PG3f6926eXne15tmDYrJvO50MD6gr4TjCgCk8tooCMKIAExDa33LbeBGWIZOojfGGbAWedX5TrZyRe7_vRERj6e_Fkg_x_Oq_AXevE02
ContentType Conference Proceeding
DBID 6IE
6IH
CBEJK
RIE
RIO
DOI 10.1109/LICS52264.2021.9470623
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan (POP) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP) 1998-present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 9781665448956
1665448954
EndPage 13
ExternalDocumentID 9470623
Genre orig-research
GroupedDBID 6IE
6IH
ACM
ALMA_UNASSIGNED_HOLDINGS
APO
CBEJK
GUFHI
LHSKQ
RIE
RIO
ID FETCH-LOGICAL-a403t-c6f7dfed52914aaa34d674af272fa06ab8db18f17280e93ed7797a88e15cdc3b3
IEDL.DBID RIE
ISICitedReferencesCount 11
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000947350400048&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Wed Aug 27 02:26:37 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a403t-c6f7dfed52914aaa34d674af272fa06ab8db18f17280e93ed7797a88e15cdc3b3
OpenAccessLink https://hal.science/hal-03227293
PageCount 13
ParticipantIDs ieee_primary_9470623
PublicationCentury 2000
PublicationDate 2021-06-29
PublicationDateYYYYMMDD 2021-06-29
PublicationDate_xml – month: 06
  year: 2021
  text: 2021-06-29
  day: 29
PublicationDecade 2020
PublicationTitle Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science
PublicationTitleAbbrev LICS
PublicationYear 2021
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0002871049
Score 2.2517405
Snippet Reversible prime event structures extend the well-known model of prime event structures to represent reversible computational processes. Essentially, they give...
SourceID ieee
SourceType Publisher
StartPage 1
SubjectTerms Color
Computational modeling
Computer science
Context modeling
Inhibitors
Periodic structures
Petri nets
Title A distributed operational view of Reversible Prime Event Structures
URI https://ieeexplore.ieee.org/document/9470623
WOSCitedRecordID wos000947350400048&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwFA7b8OBp6ib-JgePdmt-rEmPMjYUZAynsNtIkxcY6Drm5t9vXlYrghdvJdCGvqR8L1_f9z5CbqUSFrxJEx_QK5GZ8Am2AElQ9CkhbABndTSbUJOJns_zaYPc1VoYAIjFZ9DDy_gv35V2h1RZP5cqDXDdJE2l1F6rVfMpmPmHbLcSAbM07z89DmeYXSBzwlmvuvmXi0oEkXH7f9Mfke6PGo9Oa5w5Jg1YnZD2tx0Drb7ODhneU4dtcNHBChwt17CpmD6K_D8tPX2GWIVRvOETl-9AR1juSGexiewunLy75HU8ehk-JJVHQmJkKraJzbxyHtyA50waY4R0mZLGc8XDCmSm0K5g2kcXKsgFOKVyZbQGNrDOikKcktaqXMEZoTrglkmt4cKEM0bGdFEwObCs4CGuLuXnpIMxWaz3bTAWVTgu_h6-JIcYdqyq4vkVaYUXgWtyYD-3y4_NTVy7L7otmk0
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NTwIxEG0QTfSECsZve_DowvZjt92jIRCISIhgwo1022lCoixB8PfblhVj4sVbs0mb3Zlu3nQ6bx5C91wwDVbFkXXoFfGU2ci3AIk86ZOD2wBGyyA2IYZDOZ1mowp62HFhACAUn0HTD8Ndvin0xqfKWhkXsYPrPbSfcE7Jlq21y6j42N_FuyUNmMRZa9Bvj3184XMnlDTL6b90VAKMdGv_e4Fj1Pjh4-HRDmlOUAUWp6j2LciAy_-zjtqP2PhGuF7DCgwulrAqc33Y3wDgwuIXCHUY-Ztfcf4OuOMLHvE4tJHduLN3A712O5N2LypVEiLFY7aOdGqFsWASmhGulGLcpIIrSwV1PkhVLk1OpA06VJAxMEJkQkkJJNFGs5ydoeqiWMA5wtIhl4q1oky5U0ZKZJ4TnmiSU2dXE9MLVPc2mS23jTBmpTku_358hw57k-fBbNAfPl2hI-8CX2NFs2tUdR8FN-hAf67nH6vb4Mcv8FGdlA
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+36th+Annual+ACM%2FIEEE+Symposium+on+Logic+in+Computer+Science&rft.atitle=A+distributed+operational+view+of+Reversible+Prime+Event+Structures&rft.au=Melgratti%2C+Hernan&rft.au=Mezzina%2C+Claudio+Antares&rft.au=Michele+Pinna%2C+G.&rft.date=2021-06-29&rft.pub=IEEE&rft.spage=1&rft.epage=13&rft_id=info:doi/10.1109%2FLICS52264.2021.9470623&rft.externalDocID=9470623