Author's Reply

DOI10.1109/TAC.2004.831159zbMath1365.68342OpenAlexW1909895345MaRDI QIDQ5273833

Michael D. Lemmon, Kevin X. He

Publication date: 12 July 2017

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

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

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets

This page was built for publication: Author's Reply