The following pages link to (Q3933750):
Displaying 7 items.
- Petri nets and algebraic specifications (Q804305) (← links)
- A comparison of two Petri net types (Q1054155) (← links)
- A well-structured framework for analysing Petri net extensions (Q1763373) (← links)
- S- and T-invariants in cyber net systems (Q1894326) (← links)
- Infinite behaviour of Petri nets (Q2265817) (← links)
- Symbolic Termination and Confluence Checking for ECA Rules (Q3452476) (← links)
- Stratified petri nets (Q5055926) (← links)