The following pages link to (Q4840199):
Displayed 24 items.
- Diagnosability of Petri nets with observation graphs (Q312654) (← links)
- Conflict and error prevention and detection in complex networks (Q445880) (← links)
- Robust control reconfiguration of resource allocation systems with Petri nets and integer programming (Q462384) (← links)
- Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching (Q665122) (← links)
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places (Q857147) (← links)
- Synthesis of Petri net supervisors for FMS via redundant constraint elimination (Q900668) (← links)
- Liveness of an extended S\(^{3}\)PR (Q976266) (← links)
- Executability of scenarios in Petri nets (Q1006647) (← links)
- Petri nets for modeling of dynamic systems -- a survey (Q1317176) (← links)
- Petri nets for the design and operation of manufacturing systems (Q1375146) (← links)
- A Petri net model of a continuous flow transfer line with unreliable machines. (Q1410338) (← links)
- Property-preserving subnet reductions for designing manufacturing systems with shared resources (Q1770402) (← links)
- On liveness and boundedness of asymmetric choice nets (Q1884933) (← links)
- A novel method for deadlock prevention of AMS by using resource-oriented Petri nets (Q2279726) (← links)
- A survey of siphons in Petri nets (Q2279728) (← links)
- Computation of strict minimal siphons in a class of Petri nets based on problem decomposition (Q2293269) (← links)
- On persistent excitations for the identification of switched linear dynamical systems over finite fields (Q2342457) (← links)
- Grafcet: behavioural issues and control synthesis (Q2512237) (← links)
- Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems (Q2789909) (← links)
- Improved methods for scheduling flexible manufacturing systems based on Petri nets and heuristic search (Q3428318) (← links)
- On liveness and controlled siphons in Petri nets (Q4633154) (← links)
- Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets (Q5177194) (← links)
- Optimal Supervisory Control of Discrete Event Systems: Cyclicity and Interleaving of Tasks (Q5254886) (← links)
- Introduction to Petri Nets (Q5496928) (← links)