Pages that link to "Item:Q5953462"
From MaRDI portal
The following pages link to The Petri net kernel. An infrastructure for building Petri net tools (Q5953462):
Displaying 5 items.
- Model checking multi-agent systems with logic based Petri nets (Q2426108) (← links)
- SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper) (Q2941154) (← links)
- The ePNK: An Extensible Petri Net Tool for PNML (Q3011897) (← links)
- Transformations in Reconfigurable Place/Transition Systems (Q3507359) (← links)
- (Q4725735) (← links)