Pages that link to "Item:Q3465820"
From MaRDI portal
The following pages link to Enumeration of reachable (forbidden, live and deadlock) states of<i>k</i>th order system of Petri nets (Q3465820):
Displaying 3 items.
- 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) (← 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)