Structural Controller for Logical Expression of Linear Constraints on Petri Nets

DOI10.1109/TAC.2019.2918052zbMATH Open1483.93399OpenAlexW2945743027WikidataQ127850460 ScholiaQ127850460MaRDI QIDQ5211348FDOQ5211348

Authors Jiliang Luo, Weimin Wu, Hui Shao, Kenzo Nonami, MengChu Zhou, Hongye Su

Publication date 28 January 2020

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

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

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(4)

• On the invariance property of reduced supervisors from the perspective of vector discrete-event systems
• Inference approach based on Petri nets
• Approach for Transforming Linear Constraints on Petri Nets
• Complete inference via knowledge Petri nets and resolution rules

This page was built for publication: Structural Controller for Logical Expression of Linear Constraints on Petri Nets

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