The following pages link to (Q4260152):
Displaying 3 items.
- First-order hybrid Petri nets. An application to distributed manufacturing systems (Q1003528) (← links)
- Algebraic method of determining nonexistence of deadlock markings in Petri nets (Q1185651) (← links)
- Analysis of structural properties of Petri nets based on product incidence matrix (Q2857723) (← links)