Description: 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.

Please Wait