Supervisory control of deterministic Petri nets with regular specification languages

DOI10.1109/9.481527MaRDI QIDQ4876593zbMATH OpenOpenAlexFDO

Authors Lawrence E. Holloway, Ratnesh Kumar

Publication date 13 June 1996

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/9.481527

zbMATH Keywords

algorithmsdeterministic Petri net languagediscrete-event systemsminimally restrictive supervisorregular languagesupervisory control theory

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Deterministic weak-and-marked Petri net languages are regular
• Supervisory Control of Petri Nets with Language Specifications
• Blocking and controllability of Petri nets in supervisory control
• Decidability and closure properties of weak Petri net languages in supervisory control
• scientific article; zbMATH DE number 2123125

Cited in

(16)

• A class of non-deterministic specifications for supervisory control
• Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm
• Grafcet: behavioural issues and control synthesis
• Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively
• Reduction of the supervisory control problem for Petri nets
• Solving the problem of forbidden states in discrete event systems: a novel systematic method for reducing the number of control places
• Structural optimal control for safe Petri nets
• Controller synthesis with highly simplified linear constraints
• scientific article; zbMATH DE number 1304359 (Why is no real title available?)
• Blocking and controllability of Petri nets in supervisory control
• Exploiting symmetry in the synthesis of supervisors for discrete event systems
• Decidability and closure properties of weak Petri net languages in supervisory control
• Supervisory Control of Petri Nets with Language Specifications
• Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method
• Supervision based on place invariants: a survey
• Reduction of constraints for controller synthesis based on safe Petri nets

This page was built for publication: Supervisory control of deterministic Petri nets with regular specification languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4876593)