scientific article; zbMATH DE number 1220172

zbMath0944.93001MaRDI QIDQ4219294

Panos J. Antsaklis, John Moody

Publication date: 8 November 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

controllabilitylinear inequality constraintsstructural invariantsdiscrete event systemssupervisorsmonitorlinear integer programconstraint admissibilitycontrol of Petri netsreliable behaviour

Mathematics Subject Classification ID

Integer programming (90C10) Reliability, availability, maintenance, inspection in operations research (90B25) Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items

Supervision based on place invariants: a survey, Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling, Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources, Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications, Ergodicity of one-dimensional resource sharing systems., Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets, Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems, Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions, Generalised projections in finite state automata and decidability of state determinacy, Editorial: Deadlock analysis and control in resource allocation systems, Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm, Deadlock Control for a Class of Generalized Petri Nets Based on Proper Resource Allocation, On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net, Tutorial and Survey Articles: An introduction to Petri Nets, Supervisory Control of Petri Nets with Language Specifications, Performance optimization for a class of generalized stochastic Petri nets