Petri nets with individual tokens
From MaRDI portal
Publication:1083212
DOI10.1016/0304-3975(85)90070-2zbMath0604.68068OpenAlexW4213372417MaRDI QIDQ1083212
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
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
This page was built for publication: Petri nets with individual tokens
