Description 
xi, 484 pages : illustrations ; 25 cm 
Series 
The Kluwer international series in engineering and computer science ; SECS 569 

Kluwer international series in engineering and computer science ; SECS 569

Contents 
Machine derived contents note: Preface. Part I: Mini Course: A Course on Sensitivity Analysis for Gradient Estimation of DES Performance Measures; F. Vz̀quezAbad. 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 TemporalSafety 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ľout͡. 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 DiscreteEvent Systems; T.S. Yoo, S. Lafortune. Reduced Supervisors for Timed DiscreteEvent 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. ClosedLoop 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 maxminplus Systems; B. De Schutter, T. van den Boom. Optimal Token Allocation in Timed Cyclic Eventgraphs; 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 al. A Classification of PLC Models and Applications; A. Mader. Formal Verification of the Sequential Part of PLC programs; S. LamperiereCouffin, J.J. Lesage. An Abstract Model for Sequential Function Charts; S. Bornot, et al. Modeling, Analysis, and Implementation of Logic Controllers for Machining Systems using Petri Nets and SFC; E. Park, et al. Timerelated Modelling of PLC Systems with Timeless Petri Nets; M. Heiner, T. Menzel. Verification of IL Programs with an Explicit Model of their PLC Execution; H. Treseler, et al. A Two Phase Optimisation Strategy for DEDS: Application to a Manufacturing System; A. Zimmerman, et al. Optimal Resource Allocation in Blending Production Systems: A Genetic Algorithm Solution; Z. Liu, B.J. McCarragher. OffLine Computation of RealTime Schedules by Means of Petri Nets; E. Grolleau, A. ChoquetGeniet. Applications of mBalanced Sequences to Some Network Scheduling Problems; S. Sano, N. Miyoshi. State Observer Synthesis for a Class of Condition Systems; Y. Gong, L.E. Holloway. Separability of Predicates and Languages in LargeScale Discrete Event Systems; S. Takai, et al. A General Control Switching Framework of Supervisory Control of Discrete Event Systems; H. Darabi, M.A. Jafari. Fair Control of &ohgr;Automata; H. Yen. Detection of the Main Failure in Complex Critical Systems; E. Gregoire, D. Ansart. Transitory Control in Cyclic Job Shop Scheduling; A.B. Noronha, R. SantosMendes. An Archtecture of a Petri Net Based Eventdriven Controller; S. Bulach, et al. Supervisory Control in Discret Event Systems Using the Theory of Regions; N. Rezg, et al. Linear and Integer Programmes in Supervisory Control of Petri Nets; G. Stremersch. Synthesis of Admissable Behavior of Petri Nets for Partial Order Specifications; A. Luder, H.M. Hanisch. Safety Control of Completely Observed Markov Chains; A. Arapostathis, et al. Singularly Perturbed Finite Markov Chains with General Ergodic Structure; K.E. Avrachenkov. Weak Differentation and Gradient Estimation for Discrete Event Driven Processes; B. Heidergott, F.J. VazquezAbad. Structurally Safe Net Systems; F. GarciaValles, et al. Modelling and Analyzing Systems with Recursive Petri Nets; S. Haddad, D. Poitrenaud. Prioritised Synchronous Composition of Inhibitor Arc Petri Nets; A. Hellgren, et al. Part III: Tool Documentation: Data Processing Tool for Calculation in Dioid; B. Cottenceau, et al. DESCO &endash; a Tool for Education and Control of Discrete Event Systems; M. Fabian, A. Hellgren. SPECTOOL: Automated Synthesis of Control Code for Discrete Event Controllers; L. Holloway, et al. Modular Reachability Analyzer for HighLevel Petri Nets; M. Makela. Synthesis of Discrete Controllers Based on the Signal Environment; H. Marchand, et al. The &lgr;Shift Interchange Format; T. Simsek. Author Index 
Notes 
"Papers ... presented at WODES2000, the 5th Workshop on Discrete Event Systems, Ghent, Belgium, August 2123 2000"  Preface 
Bibliography 
Includes bibliographical references and index 
Subject 
Discretetime systems  Congresses.


System analysis  Congresses.


System analysis.


Discretetime systems.

Genre/Form 
Conference papers and proceedings.

Author 
Boel, R. (Rene), 1946


Stremersch, G. (Geert), 1973


Workshop on Discrete Event Systems (5th : 2000 : Ghent, Belgium)

LC no. 
00055998 
ISBN 
0792378970 : 
