TY  - SER
AU  - Wilison, Reg G.
AU  - Krogh, Bruce H.
TI  - Petri Net Tools  for Specification and Analysis of Discrete Controliers
KW  - Analysis
KW  - Control
KW  - Discrete Systems
ER  -