Discrete Event Systems

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