Editorial: Deadlock analysis and control in resource allocation systems
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Proceedings, conferences, collections, etc. pertaining to operations research and mathematical programming (90-06) Production models (90B30) Proceedings, conferences, collections, etc. pertaining to game theory, economics, and finance (91-06) Resource and cost allocation (including fair division, apportionment, etc.) (91B32)
- The resource allocation problem in flexible manufacturing systems
- Structural methods for the control of discrete event dynamic systems -- the case of the resource allocation problem
- Real-time management of resource allocation systems. A discrete event systems approach.
- scientific article; zbMATH DE number 4045096
- scientific article; zbMATH DE number 978207
- A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
- Approach for Transforming Linear Constraints on Petri Nets
- Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- Feedback control of Petri nets based on place invariants
- scientific article; zbMATH DE number 3722109 (Why is no real title available?)
- scientific article; zbMATH DE number 1220172 (Why is no real title available?)
- scientific article; zbMATH DE number 1302048 (Why is no real title available?)
- Lectures on Petri nets. 1: Basic models. Advances in Petri nets
- On liveness and controlled siphons in Petri nets
- On structural minimality of optimal supervisors for flexible manufacturing systems
- On the enforcement of a class of nonlinear constraints on Petri nets
- On the Equivalence of Observation Structures for Petri Net Generators
- On the siphon-based characterization of liveness in sequential resource allocation systems
- On-line fault detection in discrete event systems by Petri nets and integer linear programming
- Real-time management of resource allocation systems. A discrete event systems approach.
- Robustness of deadlock control for a class of Petri nets with unreliable resources
- Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis
- Supervisory control of concurrent systems. A Petri net structural approach.
This page was built for publication: Editorial: Deadlock analysis and control in resource allocation systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2279724)
