Token multiplicity in reversing Petri nets under the individual token interpretation

MaRDI QIDQ6190872zbMATH OpenFDO

Authors Anna Philippou, Kyriaki Psara

Publication date 6 February 2024

Full work available at URL https://arxiv.org/abs/2209.02359, https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?EXPSOS22.8

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A collective interpretation semantics for reversing Petri nets
• Reversing place transition nets
• Reversible computation in nets with bonds
• Acyclic and cyclic reversing computations in Petri nets
• Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications

Cites work

• scientific article; zbMATH DE number 1302042 (Why is no real title available?)
• scientific article; zbMATH DE number 1927584 (Why is no real title available?)
• scientific article; zbMATH DE number 7269252 (Why is no real title available?)
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• A collective interpretation semantics for reversing Petri nets
• A note on transition systems
• An axiomatic approach to reversible computation
• Bonding calculus
• CONCUR 2004 - Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• Concurrency and reversibility
• Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
• Encoding reversing Petri nets in answer set programming
• Formal translation from reversing Petri nets to coloured Petri nets
• Modelling of Bonding with Processes and Events
• Petri nets with individual tokens
• Reversibility and asymmetric conflict in event structures
• Reversibility in the higher-order \(\pi\)-calculus
• Reversible computation in Petri nets
• Reversible computation in nets with bonds
• Reversible occurrence nets and causal reversible prime event structures
• Reversing Unbounded Petri Nets
• Reversing algebraic process calculi

This page was built for publication: Token multiplicity in reversing Petri nets under the individual token interpretation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6190872)