The following pages link to (Q3504339):
Displaying 5 items.
- A decomposition theorem for finite persistent transition systems (Q1015394) (← links)
- Petri nets with name creation for transient secure association (Q2510386) (← links)
- A Canonical Contraction for Safe Petri Nets (Q3452474) (← links)
- On the Construction of Pullbacks for Safe Petri Nets (Q3618704) (← links)
- Properties of Plain, Pure, and Safe Petri Nets (Q4994075) (← links)