Zero-safe nets: Comparing the collective and individual token approaches.

DOI10.1006/inco.1999.2819zbMath1046.68615OpenAlexW2016654878MaRDI QIDQ1854323

Ugo Montanari, Roberto Bruni

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1999.2819

zbMATH Keywords

transactiontransition synchronization

Mathematics Subject Classification ID

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

Related Items

Graph Transformation with Dependencies for the Specification of Interactive Systems ⋮ ReLo: a Dynamic Logic to Reason About Reo Circuits ⋮ On the Synthesis of Zero-Safe Nets ⋮ Models of Computation: A Tribute to Ugo Montanari’s Vision ⋮ Modeling dependencies and simultaneity in membrane system computations ⋮ Towards a Notion of Transaction in Graph Rewriting ⋮ Unnamed Item ⋮ GETGRATS ⋮ Regions of Petri nets with a/sync connections ⋮ Coordination: Reo, Nets, and Logic ⋮ Applying regions ⋮ Causal Nets: A Modeling Language Tailored towards Process Discovery ⋮ Hornets: Nets within Nets Combined with Net Algebra ⋮ Dynamic connectors for concurrency ⋮ Comparing logics for rewriting: Rewriting logic, action calculi and tile logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An axiomatization of the algebra of Petri net concatenable processes
• Process versus unfolding semantics for Place/Transition Petri nets
• On the implementation of concurrent calculi in net calculi: two case studies
• Configuration structures, event structures and Petri nets
• Petri nets are monoids
• A method for stepwise refinement and abstraction of Petri nets
• Petri nets, algebras, morphisms, and compositionality
• A distributed operational semantics of CCS based on condition/event systems
• Advances in Petri nets 1991. APN '91. 11th international conference on applications and theory of Petri nets, Paris, France, June 1990. Proceedings
• Analysis of Petri nets by stepwise refinements
• Axiomatizing the algebra of net computations and processes
• The non-sequential behaviour of Petri nets