Structural Controller for Logical Expression of Linear Constraints on Petri Nets

DOI10.1109/TAC.2019.2918052zbMath1483.93399OpenAlexW2945743027WikidataQ127850460 ScholiaQ127850460MaRDI QIDQ5211348

Jiliang Luo, Weimin Wu, Hui Shao, Kenzo Nonami, Meng Chu Zhou, Hong-Ye 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)

Related Items (2)

On the invariance property of reduced supervisors from the perspective of vector discrete-event systems ⋮ Inference approach based on Petri nets

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