Maximally permissive feedback and modular control synthesis in Petri nets with external input places

DOI10.1109/9.57027zbMath0709.68037OpenAlexW2144972534MaRDI QIDQ3493245

Toshimitsu Ushio

Publication date: 1990

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

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

zbMATH Keywords

feedbackPetri netdiscrete-event system

Mathematics Subject Classification ID

Feedback control (93B52) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Concurrency and maximally permissive feedback in Petri nets with external input places ⋮ Supervisory control of a class of concurrent discrete event systems under partial observation

This page was built for publication: Maximally permissive feedback and modular control synthesis in Petri nets with external input places