The following pages link to Extensional Petri net (Q667521):
Displaying 7 items.
- Error-correcting Petri nets (Q553909) (← links)
- Compositional Petri net approach to the development of concurrent and distributed systems (Q1403207) (← links)
- Place bisimulation and liveness for open Petri nets (Q1660760) (← links)
- Encoding Higher Level Extensions of Petri Nets in Answer Set Programming (Q2851238) (← links)
- Process of petri nets extension (Q3415259) (← links)
- Open Petri Nets: Non-deterministic Processes and Compositionality (Q3540404) (← links)
- Spezifikation von Mechanismen zur Ausnahmebehandlung mit Petri-Netzen (Q3991306) (← links)