The following pages link to (Q3736886):
Displaying 7 items.
- A formal model of programs (Q1059401) (← links)
- Avoiding exponential explosion in Petri net models of control flows (Q2165241) (← links)
- (Q3350793) (← links)
- (Q3820018) (← links)
- Petri Net Models in Batch Control (Q4260193) (← links)
- (Q4532996) (← links)
- Supervisory Control of Petri Nets with Language Specifications (Q5496930) (← links)