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

Technological Systems in the Bio Industries: An International Study represents a comprehensive, interdisciplinary, and systematic effort to understand the nature and role of technological change in a rapidly evolving arena of economic activity that can be loosely referred to as the bio industries. These include biomedical industries that deliver goods and services used in health care, including those based on genetic engineering, as well as applications of biotechnology in other industries such as agriculture, food production, and the forest industries.

This volume...

Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent, sequential, competitive activities among their components. They are often complex and large in scale, and necessarily flexible and thus highly capital-intensive. Examples of systems are manufacturing systems, communication networks, traffic and logistic systems, and military command and control systems. Modeling and performance evaluation play a vital role in the design and...

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. Unlike other books on simulation, this book includes a complete and balanced description of all essential issues relevant to computer simulation of discrete event systems, and it teaches simulation users how to design, program and exploit their own computer simulation models. In addition, it uses the object-oriented methodology throughout the book as its main programming platform. The...

Analysis of Manufacturing Enterprises presents a unified and systematic treatment of manufacturing enterprises. These enterprises are networks of companies working in partnership. Such networks are a common occurrence in auto, grocery, apparel, computer and other industries; and competition is among enterprises rather than between individual companies. 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...

Supervisory Control of Discrete Event Systems Using Petri Nets presents a novel approach to its subject. The concepts of supervisory control and discrete event systems are explained, and the background material on general Petri net theory necessary for using the book's control techniques is provided. A large number of examples is used to illustrate the concepts and techniques presented in the text, and there are plenty of references for those interested in additional study or more information on a particular topic.
Supervisory Control of Discrete Event Systems Using Petri...