Petri Net Tools for Specification and Analysis of Discrete Controliers

Wilison, Reg G. Krogh, Bruce H.

Petri Net Tools for Specification and Analysis of Discrete Controliers - 39-50 p.


Analysis
Control
Discrete Systems