On forbidden state problems for a class of controlled Petri nets

DOI10.1109/9.467679zbMath0853.93058OpenAlexW2154382983MaRDI QIDQ4859708

Lamia Ben-Naoum, Vincent Van Breusegem, René K. Boel

Publication date: 7 January 1996

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

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

zbMATH Keywords

constraintsdiscrete event systemsforbidden setscontrolled Petri nets

Mathematics Subject Classification ID

Synthesis problems (93B50) 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 (5)

Supervision based on place invariants: a survey ⋮ Optimal Petri net supervisor synthesis for forbidden state problems using marking mask ⋮ Petri nets for the design and operation of manufacturing systems ⋮ Controller synthesis for net condition/event systems with a solution for incomplete state observation ⋮ Supervisory control of a class of concurrent discrete event systems under partial observation

This page was built for publication: On forbidden state problems for a class of controlled Petri nets