Bücher der Reihe The International Series on Discrete Event Dynamic Systems

Supervision of Petri Nets presents supervisory control theory for Petri nets with a legal set as the control goal. Petri nets model discrete event systems - dynamic systems whose evolution is completely determined by the occurrence of discrete events. Control laws, which guarantee that the system meets a set of specifications in the presence of uncontrollable and unobservable events, are studied and constructed, using application areas such as automated manufacturing and transportation systems. Supervision of Petri Nets introduces a new and mathematically sound approach to the subject. Existing results are unified by proposing a general mathematical language that makes extensive use of order theoretical ideas, and numerous new results are described, including ready-to-use algorithms that construct supervisory control laws for Petri nets. Supervision of Petri Nets is an excellent reference for researchers, and may also be used as a supplementary text for advanced courses on control theory.

This book provides a thorough review and explanation of the theory of stochastic max-plus linear systems, which has seen rapid advances in the last decade.

Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). Examples of systems are manufacturing systems, communication networks, traffic and logistic systems, and military command and control systems.

Object-Oriented Computer Simulation of Discrete-Event Systems offers a comprehensive presentation of a wide repertoire of computer simulation techniques available to the modelers of dynamic systems.

Thus, for these enterprises (global or local) to succeed, there is a need for systematically designing the enterprise-wide value delivery processes such as the order-to-delivery process, supply chain process, and new product development process.

Supervisory Control of Discrete Event Systems Using Petri Nets is intended for graduate students, advanced undergraduates, and practicing engineers who are interested in the control problems of manufacturing, communication and computer networks, chemical process plants, and other high-level control applications.

Presents a collection of contributions from leading international researchers in the fields of dynamic systems, control theory, and modeling. This work features papers that include research topics such as: modeling of complex systems, power control in ad hoc wireless networks, adaptive control using multiple models, discrete events, and more.

Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). Examples of systems are manufacturing systems, communication networks, traffic and logistic systems, and military command and control systems.

Object-Oriented Computer Simulation of Discrete-Event Systems offers a comprehensive presentation of a wide repertoire of computer simulation techniques available to the modelers of dynamic systems.

Thus, for these enterprises (global or local) to succeed, there is a need for systematically designing the enterprise-wide value delivery processes such as the order-to-delivery process, supply chain process, and new product development process.