Similar Items: Priced Timed Petri Nets
- Structurally Cyclic Petri Nets
- Separators in Continuous Petri Nets
- Event Structures for Petri nets with Persistence
- Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
- Applying CEGAR to the Petri Net State Equation
- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets