Structural Controller for Logical Expression of Linear Constraints on Petri Nets

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

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

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
• Complete inference via knowledge Petri nets and resolution rules
• Inference approach based on Petri nets
• Approach for Transforming Linear Constraints on Petri Nets

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)