Robust control reconfiguration of resource allocation systems with Petri nets and integer programming
From MaRDI portal
Recommendations
- State-space supervisory control of reconfigurable discrete event systems
- Supervisory Control and Scheduling of Resource Allocation Systems
- Structural methods for the control of discrete event dynamic systems -- the case of the resource allocation problem
- Robustness of deadlock control for a class of Petri nets with unreliable resources
- Real-time management of resource allocation systems. A discrete event systems approach.
Cites work
- scientific article; zbMATH DE number 777433 (Why is no real title available?)
- A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
- Feedback control of Petri nets based on place invariants
- Liveness of an extended S\(^{3}\)PR
- Real-time management of resource allocation systems. A discrete event systems approach.
- State-space supervisory control of reconfigurable discrete event systems
- Supervision based on place invariants: a survey
- Supervisory Control of a Class of Discrete Event Processes
Cited in
(5)- The fundamental closed-form solution of control-related states ofkth order S3PR system with left-side non-sharing resource places of Petri nets
- Resource failure and buffer space allocation control for automated manufacturing systems
- scientific article; zbMATH DE number 1156812 (Why is no real title available?)
- An effective scheduling method to single-arm cluster tools for processing multiple wafer types
- Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs
This page was built for publication: Robust control reconfiguration of resource allocation systems with Petri nets and integer programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q462384)
