Similar Items: Structurally Cyclic Petri Nets
- Event Structures for Petri nets with Persistence
- Priced Timed Petri Nets
- Separators in Continuous Petri Nets
- Relating Reversible Petri Nets and Reversible Event Structures, categorically
- Applying CEGAR to the Petri Net State Equation
- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets