E-raamat: Discrete Event Systems: Analysis and Control

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.