Next:
Introduction
Up:
A Comparative Study
Previous:
Control Synthesis
Petri Net Models
Introduction
Notation and Basic Properties
Specifications
Controller Synthesis
Luz E. Pinzon
Wed Oct 15 18:10:49 EDT 1997