Preface-Third Edition.- Preface- Second Edition.- Preface.- Systems and Models.- Languages and Automata.- Supervisory Control.- Petri Nets.- Timed and Hybrid Models.- Stochastic Timed Automata.-... This description may be from another edition of this product.