scientific article; zbMATH DE number 2123125

MaRDI QIDQ3154377zbMATH OpenFDO

Authors G. Stremersch

Publication date 16 December 2004

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02)

Recommendations

• Supervisory Control of Petri Nets with Language Specifications
• scientific article; zbMATH DE number 1220172
• Reduction of the supervisory control problem for Petri nets
• scientific article; zbMATH DE number 1836391
• Supervisory control of concurrent systems. A Petri net structural approach.

Cited in

(12)

• Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
• Supervisory control of concurrent systems. A Petri net structural approach.
• Reduction of the supervisory control problem for Petri nets
• scientific article; zbMATH DE number 1816769 (Why is no real title available?)
• scientific article; zbMATH DE number 1220172 (Why is no real title available?)
• scientific article; zbMATH DE number 1341755 (Why is no real title available?)
• Blocking and controllability of Petri nets in supervisory control
• Maximally permissive supervisor synthesis based on a new constraint transformation method
• scientific article; zbMATH DE number 1836391 (Why is no real title available?)
• Supervisory control of deterministic Petri nets with regular specification languages
• Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement
• Supervision based on place invariants: a survey

This page was built for publication:

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