Supervisory Control of Petri Nets with Language Specifications

DOI10.1007/978-1-4471-4276-8_12zbMath1304.93055OpenAlexW120843661MaRDI QIDQ5496930

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)

Related Items (6)

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 ⋮ Determinization of timed Petri nets behaviors ⋮ Petri net controllers for generalized mutual exclusion constraints with floor operators ⋮ Diagnosability enforcement in labeled Petri nets using supervisory control ⋮ Design of supervisors for linear marking specifications in labeled Petri nets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Supervision based on place invariants: a survey
• A survey of Petri net methods for controlled discrete event systems
• Petri net languages and infinite subsets of \(\mathbb{N}^m\)
• Blocking and controllability of Petri nets in supervisory control
• On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
• 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

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