Discrete Event Systems

Preface. Part I: Mini Course: A Course on Sensitivity Analysis for Gradient Estimation of DES Performance Measures; F. Vázquez-Abad. Part II: Contributed Papers: Coalgebra, Concurrency, and Control; J.J.M.M. Rutten. Symbolic Abstractions of Automata; S. Pinchinat, H Marchand. Efficient Computation and Representation of Large Reachability Sets for Composed Automata; P. Buchholz, P. Kemper. Equivalent Existence Structures for Temporal-Safety Control; K.T. Seow. Heaps of Pieces with a Continuum of Resources; R.J.van Egmond. Eigenvalues of Interconnected Bipartite (min, max,+) systems; Subiono, J. van der Woude. A (max,+) Approach for Time in Message Sequence Charts; P. Le Maigat, L. Hélouët. Analysis of Periodic Discrete Event Systems in (max,+) Algebra; S. Lahaye, et al. Modular Supervisory Control of Large Discret Event Systems; M.H. de Queiroz, J.E.R. Cury. A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems; T.S. Yoo, S. Lafortune. Reduced Supervisors for Timed Discrete-Event Systems; P. Gohari, W.M. Wonham. Synthesis of Reliable Decentralized Supervisors for Discrete Event Systems; S. Takai, T. Ushio. An Iterative Method for Deadlock Prevention in FMS; F. Tricas, et al. Avoiding Deadlocks in Flexible Manufacturing Systems; M. Seidl, G. Schmidt. On Partially Controlled Free Choice Petri Nets; R.S. Sreenivas. Closed-Loop Live Petri Net Supervisors for GMEC; F. Basile, et al. Selecting the Optimal Deadlock Resolution Strategy in Buffer Space Allocation of Flexibly Automated Production Systems: an Analytic Perspective; S.A. Reveliotis. The Power Algorithm and the Howard Algorithm in the (max,+) Semiring; G. Soto, Y. Koelemeijer.Model Predictive Control for max-min-plus Systems; B. De Schutter, T. van den Boom. Optimal Token Allocation in Timed Cyclic Event-graphs; A. Giua, et al. A Limit Semantics for Timed PN; B. Gaujal, S. Haar. Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets; B. Bordbar, et