Pages that link to "Item:Q2792707"
From MaRDI portal
The following pages link to The fundamental closed-form solution of control-related states of<i>k</i>th order S3PR system with left-side non-sharing resource places of Petri nets (Q2792707):
Displaying 4 items.
- Resource failure and buffer space allocation control for automated manufacturing systems (Q2195353) (← links)
- Enumeration of reachable (forbidden, live and deadlock) states of<i>k</i>th order system of Petri nets (Q3465820) (← links)
- Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets (Q5043516) (← links)
- Recursive solution of number of reachable states of a simple subclass of FMS (Q5172599) (← links)