Petri nets with individual tokens

DOI10.1016/0304-3975(85)90070-2zbMath0604.68068OpenAlexW4213372417MaRDI QIDQ1083212

Wolfgang Reisig

Publication date: 1985

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(85)90070-2

zbMATH Keywords

Petri netscalculus of invariantsindividual objects

Mathematics Subject Classification ID

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

Related Items (23)

Existence of home states in Petri nets is decidable ⋮ A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions ⋮ Comparing locality and causality based equivalences ⋮ A compositional dataflow semantics for Petri nets ⋮ Question-guided stubborn set methods for state properties ⋮ Reversible computation in nets with bonds ⋮ Dataflow semantics for Petri nets ⋮ A fully abstract semantics for termination in Petri nets ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ Regular marked Petri nets ⋮ A Graph-Theoretical Characterisation of State Separation ⋮ Step semantics for ``true concurrency with recursion ⋮ Unnamed Item ⋮ Branching processes of Petri nets ⋮ Trellis processes: a compact representation for runs of concurrent systems ⋮ A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques ⋮ Distributed monitoring of concurrent and asynchronous systems ⋮ Modelling of Complex Software Systems: A Reasoned Overview ⋮ Asynchronous communication of Petri Nets and the refinement of transitions ⋮ Deciding Substitutability of Services with Operating Guidelines ⋮ Introduction to design choices in the semantics of Statecharts ⋮ Petri nets and algebraic specifications ⋮ A truly concurrent semantics for a process algebra using resource pomsets

Cites Work

• System modelling with high-level Petri nets
• Coloured Petri nets and the invariant-method
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Petri nets with individual tokens