D. K. Pathak;B. H. Krogh
Carnegie Mellon Univ., Pittsburgh, PA;Carnegie Mellon Univ., Pittsburgh, PA
Petri Net Tools for the Specification and Analysis of Discrete Controllers
IEEE Transactions on Software Engineering