An incremental approach to logic controller design with Petri nets

Luca Ferrarini. An incremental approach to logic controller design with Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 22(3):461-473, 1992. [doi]

Abstract

Abstract is missing.