TY  - BOOK
AU  - Hruz, B.
AU  - Zhou, M. C.
TI  - Modeling and Control of Discrete Event Dynamics Systems: With Petri Nets and Other Tool
SN  - 9781846288722
U1  - 003.83015118 
PY  - 2007///
CY  - London
PB  - Springer-Verlag
KW  - Computer Engineering
N1  - Basic Description of Discrete Event Dynamic Systems Graphs in Modeling DEDS Formal Languages Control of DEDS Finite Automata Reactive Flow Diagrams Petri Net Models of DEDS Properties of Petri Nets Grafcet Timed and High Level Petri Nets Statecharts DEDS Modeling, Control and Programming Supervisory Control Job Scheduling
ER  -