Discrete Event Systems, Softcover reprint of the original 1st ed. 2000 Analysis and Control The Springer International Series in Engineering and Computer Science Series, Vol. 569

Discrete Event Systems: Analysis and Control is the proceedings of WODES2000 (the 5th Workshop on Discrete Event Systems, held in Ghent, Belgium, on August 21-23, 2000). This book provides a survey of the current state of the art in the field of modeling, analysis and control synthesis of discrete event systems, lecture notes for a mini course on sensitivity analysis for performance evaluation of timed discrete event systems, and 48 carefully selected papers covering all areas of discrete event theory and the most important applications domains. Topics include automata theory and supervisory control (12); Petri net based models for discrete event systems, and their control synthesis (11); (max,+) and timed automata models (9); applications papers related to scheduling, failure detection, and implementation of supervisory controllers (7); formal description of PLCs (6); and finally, stochastic models of discrete event systems (3).

I Mini course.- A Course on Sensitivity Analysis for Gradient Estimation of DES Performance Measures.- II Contributed papers.- Coalgebra, Concurrency, and Control.- Symbolic Abstractions of Automata.- Efficient Computation and Representation of Large Reachability Sets for Composed Automata.- Equivalent Existence Structures for Temporal-Safety Control.- Heaps of Pieces with a Continuum of Resources.- Eigenvalues of Interconnected Bipartite (min,max,+)-systems.- A (max,+) Approach for Time in Message Sequence Charts.- Analysis of Periodic Discrete Event Systems in (max,+) Algebra.- Modular Supervisory Control of Large Scale Discrete Event Systems.- A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems.- Reduced Supervisors for Timed Discrete-Event Systems.- Synthesis of Reliable Decentralized Supervisors for Discrete Event Systems.- An Iterative Method for Deadlock Prevention in FMS.- Avoiding Deadlocks in Flexible Manufacturing Systems.- On Partially Controlled Free Choice Petri Nets.- Closed-Loop Live Petri Net Supervisors for GMEC.- Selecting the Optimal Deadlock Resolution Strategy in Buffer Space Allocation of Flexibly Automated Production Systems: an Analytic Perspective.- The Power Algorithm and the Howard Algorithm in the (max,+) Semiring.- Model Predictive Control for max-min-plus Systems.- Optimal Token Allocation in Timed Cyclic Event-graphs.- A Limit Semantics for Timed PN.- Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets.- A Classification of PLC Models and Applications.- Formal Verification of the Sequential Part of PLC pograms.- An Abstract Model for Sequential Function Charts.- Modeling, Analysis, and Implementation of Logic Controllers for Machining Systems using Petri Nets and SFC.- Time-related Modelling of PLC Systems with Time-less Petri Nets.- Verification of IL Programs with an Explicit Model of their PLC Execution.- A Two Phase Optimisation Strategy for DEDS: Application to a Manufacturing System.- Optimal Resource Allocation in Blending Production Systems: A Genetic Algorithm Solution.- Off-Line Computation of Real-Time Schedules by Means of Petri nets.- Applications of m-Balanced Sequences to Some Network Scheduling Problems.- State Observer Synthesis for a Class of Condition Systems.- Separability of Predicates and Languages in Large-Scale Discrete Event Systems.- A General Control Switching Framework for Supervisory Control of Discrete Event Systems.- Fair Control of ?-Automata.- Detection of the Main Failure in Complex Critical Systems.- Transitory Control in Cyclic Job Shop Scheduling.- An Architecture of a Petri Net Based Event-driven Controller.- Supervisory Control in Discrete Event Systems Using the Theory of Regions.- Linear and Integer Programmes in Supervisory Control of Petri nets.- Synthesis of Admissible Behavior of Petri Nets for Partial Order Specifications.- Safety Control of Completely Observed Markov Chains.- Singularly Perturbed Finite Markov Chains with General Ergodic Structure.- Weak Differentation and Gradient Estimation for Discrete Event Driven Processes.- Structurally Safe Net Systems.- Modelling and Analyzing Systems with Recursive Petri Nets.- Prioritised Synchronous Composition of Inhibitor Arc Petri Nets.- III Tool Documentation.- Data Processing Tool for Calculation in Dioid.- DESCO — a Tool for Education and Control of Discrete Event Systems.- SPECTOOL: Automated Synthesis of Control Code for Discrete Event Controllers.- Modular Reachability Analyzer for High-Level Petri Nets.- Synthesis of DiscreteControllers Based on the Signal Environment.- The ?-Shift Interchange Format.- Author Index.