| Preface | p. ix |
| Mini course | |
| A Course on Sensitivity Analysis for Gradient Estimation of DES Performance Measures | p. 3 |
| Contributed papers | |
| Coalgebra, Concurrency, and Control | p. 31 |
| Symbolic Abstractions of Automata | p. 39 |
| Efficient Computation and Representation of Large Reachability Sets for Composed Automata | p. 49 |
| Equivalent Existence Structures for Temporal-Safety Control | p. 57 |
| Heaps of Pieces with a Continuum of Resources | p. 67 |
| Eigenvalues of Interconnected Bipartite (min,max,+)-systems | p. 75 |
| A (max,+) Approach for Time in Message Sequence Charts | p. 83 |
| Analysis of Periodic Discrete Event Systems in (max,+) Algebra | p. 93 |
| Modular Supervisory Control of Large Scale Discrete Event Systems | p. 103 |
| A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems | p. 111 |
| Reduced Supervisors for Timed Discrete-Event Systems | p. 119 |
| Synthesis of Reliable Decentralized Supervisors for Discrete Event Systems | p. 131 |
| An Iterative Method for Deadlock Prevention in FMS | p. 139 |
| Avoiding Deadlocks in Flexible Manufacturing Systems | p. 149 |
| On Partially Controlled Free Choice Petri Nets | p. 159 |
| Closed-Loop Live Petri Net Supervisors for GMEC | p. 169 |
| Selecting the Optimal Deadlock Resolution Strategy in Buffer Space Allocation of Flexibly Automated Production Systems: an Analytic Perspective | p. 181 |
| The Power Algorithm and the Howard Algorithm in the (max,+) Semiring | p. 193 |
| Model Predictive Control for max-min-plus Systems | p. 201 |
| Optimal Token Allocation in Timed Cyclic Event-graphs | p. 209 |
| A Limit Semantics for Timed PN | p. 219 |
| Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets | p. 227 |
| A Classification of PLC Models and Applications | p. 239 |
| Formal Verification of the Sequential Part of PLC pograms | p. 247 |
| An Abstract Model for Sequential Function Charts | p. 255 |
| Modeling, Analysis, and Implementation of Logic Controllers for Machining Systems using Petri Nets and SFC | p. 265 |
| Time-related Modelling of PLC Systems with Time-less Petri Nets | p. 275 |
| Verification of IL Programs with an Explicit Model of their PLC Execution | p. 283 |
| A Two Phase Optimisation Strategy for DEDS: Application to a Manufacturing System | p. 291 |
| Optimal Resource Allocation in Blending Production Systems: A Genetic Algorithm Solution | p. 299 |
| Off-Line Computation of Real-Time Schedules by Means of Petri nets | p. 309 |
| Applications of m-Balanced Sequences to Some Network Scheduling Problems | p. 317 |
| State Observer Synthesis for a Class of Condition Systems | p. 327 |
| Separability of Predicates and Languages in Large-Scale Discrete Event Systems | p. 337 |
| A General Control Switching Framework for Supervisory Control of Discrete Event Systems | p. 345 |
| Fair Control of [omega]-Automata | p. 355 |
| Detection of the Main Failure in Complex Critical Systems | p. 363 |
| Transitory Control in Cyclic Job Shop Scheduling | p. 371 |
| An Architecture of a Petri Net Based Event-driven Controller | p. 383 |
| Supervisory Control in Discrete Event Systems Using the Theory of Regions | p. 391 |
| Linear and Integer Programmes in Supervisory Control of Petri nets | p. 399 |
| Synthesis of Admissible Behavior of Petri Nets for Partial Order Specifications | p. 409 |
| Safety Control of Completely Observed Markov Chains | p. 421 |
| Singularly Perturbed Finite Markov Chains with General Ergodic Structure | p. 429 |
| Weak Differentation and Gradient Estimation for Discrete Event Driven Processes | p. 433 |
| Structurally Safe Net Systems | p. 441 |
| Modelling and Analyzing Systems with Recursive Petri Nets | p. 449 |
| Prioritised Synchronous Composition of Inhibitor Arc Petri Nets | p. 459 |
| Tool Documentation | |
| Data Processing Tool for Calculation in Dioid | p. 469 |
| DESCO - a Tool for Education and Control of Discrete Event Systems | p. 471 |
| SPECTOOL: Automated Synthesis of Control Code for Discrete Event Controllers | p. 473 |
| Modular Reachability Analyzer for High-Level Petri Nets | p. 477 |
| Synthesis of Discrete Controllers Based on the Signal Environment | p. 479 |
| The [lambda]-Shift Interchange Format | p. 481 |
| Author index | p. 483 |
| Table of Contents provided by Syndetics. All Rights Reserved. |
