SynchNet: A Petri Net Based Coordination Language for Distributed Objects
No abstract available.
Related papers
- Petri Net-Based Object-Oriented Modeling of Distributed Systems OOPSLA 1986
- A Web Interface for Petri Nets with Transits and Petri Games TACAS 2021
- Synthesis and Analysis of Petri Nets from Causal Specifications CAV 2022
- Implicative Formulae in the "Proofs as Computations" Analogy POPL 1990
- A Brief Introduction to Coloured Petri Nets TACAS 1997
- Using Petri Net Invariants in State Space Construction TACAS 2003
- Towards a Certified Petri Net Model-Checker APLAS 2011
- PEP - More than a Petri Net Tool TACAS 1996