Reg G. Willson Bruce H. Krogh Petri Net Tools for the Specification and Analysis of Discrete Controllers. 39-50 http://www.computer.org/tse/ts1990/e0039abs.htm 1990 16 IEEE Trans. Software Eng. 1 db/journals/tse/tse16.html#WillsonK90