Concurrency and maximally permissive feedback in Petri nets with external input places

DOI10.1080/00207179408921484zbMath0808.93042OpenAlexW2057348529MaRDI QIDQ4311333

Toshimitsu Ushio, Shigemasa Takai, Shinzo Kodama

Publication date: 26 October 1994

Published in: International Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207179408921484

zbMATH Keywords

resource allocationconcurrencydiscrete event systemsevent assignmentmaximally permissive feedbackPetri nets with external input places

Mathematics Subject Classification ID

Feedback control (93B52) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (1)

Supervisory control of a class of concurrent discrete event systems under partial observation

Cites Work

• Unnamed Item
• Synthesis of feedback control logic for a class of controlled Petri nets
• Maximally permissive feedback and modular control synthesis in Petri nets with external input places
• Concurrency and state feedback in discrete-event systems

This page was built for publication: Concurrency and maximally permissive feedback in Petri nets with external input places