Pages that link to "Item:Q5172599"
From MaRDI portal
The following pages link to Recursive solution of number of reachable states of a simple subclass of FMS (Q5172599):
Displaying 5 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)
- Enumeration of reachable (forbidden, live and deadlock) states of<i>k</i>th order system of Petri nets (Q3465820) (← links)
- (Q4966026) (← links)
- Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets (Q5043516) (← links)
- Necessary and sufficient liveness condition of GS<sup>3</sup>PR Petri nets (Q5252903) (← links)