Net structure and control logic synthesis of controlled Petri nets

DOI10.1109/9.720505zbMath1056.93562MaRDI QIDQ4506556

Haoxun Chen

Publication date: 17 October 2000

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

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

Mathematics Subject Classification ID

93C83: Control/observation systems involving computers (process control, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets, Supervision based on place invariants: a survey, Linear control of live marked graphs