Supervisory Control of Petri Nets with Language Specifications

DOI10.1007/978-1-4471-4276-8_12MaRDI QIDQ5496930zbMATH OpenOpenAlexFDO

Authors Alessandro Giua

Publication date 29 January 2015

Published in Lecture Notes in Control and Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-4471-4276-8_12

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

Recommendations

• Supervisory control of deterministic Petri nets with regular specification languages
• scientific article; zbMATH DE number 1220172
• Supervisory control of concurrent systems. A Petri net structural approach.
• Decidability and closure properties of weak Petri net languages in supervisory control
• scientific article; zbMATH DE number 3970085
• Reduction of the supervisory control problem for Petri nets
• scientific article; zbMATH DE number 4215376
• Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
• Supervisory controller design for timed-place Petri nets
• Blocking and controllability of Petri nets in supervisory control

Cites work

• scientific article; zbMATH DE number 4024805 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 46872 (Why is no real title available?)
• scientific article; zbMATH DE number 1220172 (Why is no real title available?)
• scientific article; zbMATH DE number 3992937 (Why is no real title available?)
• A survey of Petri net methods for controlled discrete event systems
• Blocking and controllability of Petri nets in supervisory control
• Decidability and closure properties of weak Petri net languages in supervisory control
• On Minimal Representations of Petri Net Languages
• On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets
• On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
• Petri net languages and infinite subsets of \(\mathbb{N}^m\)
• Supervision based on place invariants: a survey

Cited in

(17)

• Decidability and closure properties of weak Petri net languages in supervisory control
• Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models
• Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets
• scientific article; zbMATH DE number 1836398 (Why is no real title available?)
• scientific article; zbMATH DE number 1836391 (Why is no real title available?)
• An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
• An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems
• scientific article; zbMATH DE number 2123125 (Why is no real title available?)
• A language measure for supervisory control
• Determinization of timed Petri nets behaviors
• Diagnosability enforcement in labeled Petri nets using supervisory control
• scientific article; zbMATH DE number 3932399 (Why is no real title available?)
• Petri net controllers for generalized mutual exclusion constraints with floor operators
• Design of supervisors for linear marking specifications in labeled Petri nets
• Supervision based on place invariants: a survey
• Blocking and controllability of Petri nets in supervisory control
• Supervisory control of concurrent systems. A Petri net structural approach.

This page was built for publication: Supervisory Control of Petri Nets with Language Specifications

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