Supervisory Control of Petri Nets with Language Specifications
From MaRDI portal
Publication:5496930
DOI10.1007/978-1-4471-4276-8_12zbMATH Open1304.93055OpenAlexW120843661MaRDI QIDQ5496930FDOQ5496930
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
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
Formal languages and automata (68Q45) Hierarchical systems (93A13) Discrete event control/observation systems (93C65)
Cites Work
- Title not available (Why is that?)
- A survey of Petri net methods for controlled discrete event systems
- Supervision based on place invariants: a survey
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
- Blocking and controllability of Petri nets in supervisory control
- Decidability and closure properties of weak Petri net languages in supervisory control
- Title not available (Why is that?)
- Petri net languages and infinite subsets of \(\mathbb{N}^m\)
- On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets
- On Minimal Representations of Petri Net Languages
Cited In (17)
- Decidability and closure properties of weak Petri net languages in supervisory control
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets
- Title not available (Why is that?)
- Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- A language measure for supervisory control
- Determinization of timed Petri nets behaviors
- Diagnosability enforcement in labeled Petri nets using supervisory control
- Title not available (Why is that?)
- 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)
