Structural Controller for Logical Expression of Linear Constraints on Petri Nets

DOI10.1109/TAC.2019.2918052MaRDI QIDQ5211348zbMATH OpenOpenAlexWikidataFDO

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

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

Cited in

(6)

• Inference approach based on Petri nets
• On the invariance property of reduced supervisors from the perspective of vector discrete-event systems
• Approach for Transforming Linear Constraints on Petri Nets
• Complete inference via knowledge Petri nets and resolution rules
• Complexity reduction in enforcing disjunctive generalized mutual exclusion constraints
• Monitor-based synthesis in enforcing disjunctive generalised mutual exclusion constraints

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)