1 Introduction to Petri Nets in Flexible and Agile Automation. - 2 Application of Petri Nets to Sequence Control Programming. - 3 Computer Aided Design of Logic Controllers with Petri Nets. - 4 Automatic Generation of Sequence Control Programs via Petri Nets and Logic Tables for Industrial Applications. - 5 Planning and Scheduling Based on Petri Nets. - 6 Petri Net-Based Heuristic Scheduling for Flexible Manufacturing. - 7 Scheduling and Rescheduling of AGVs for Flexible and Agile Manufacturing. - 8 Stochastic Petri Net Models of Communication and Flexible Systems. - 9 Deadlock Avoidance Policy for Flexible Manufacturing Systems. - 10 Discrete-Event Control Design for Manufacturing Systems via Ladder Logic Diagrams and Petri Nets: A Comparative Study. - 11 From State Transition Models to DFD Extended Methods for Specifying Reactive Systems. - 12 Supervisory Control Specification and Synthesis. Language: English