Modeling and simulation of discrete event systems (Q2865978)

The book provides comprehensive coverage of modeling and simulation of Discrete-Event Systems (DES). The current state-of-the-art is exposed in which all the major discrete-event systems modeling formalisms: activity-based, process-oriented, state-based, and event-based are considered in a unified manner, with an emphasis on real-life systems and their models. The book is divided into three parts. Part I (Basics of System Modeling and Simulation; Chapters 1 and 2) and Part II (Fundamentals of Discrete-Event System Modeling and Simulation; Chapters 3-8) are designed as a primary textbook. Part III (Advances in Discrete-Event System Modeling and Simulation; Chapters 9-12) presents up-to-date research results, research issues and directions in the topic.NEWLINENEWLINE In Chapter 1, an overview of computer simulation philosophy is given. In Chapter 2, a step-by-step procedure for performing a discrete-event simulation is described, and fundamentals of DES modeling are given, along with illustrative examples. Chapter 3 deals with generation of random inputs for simulation purposes, and various random variable generation routines, with parametric and non-parametric estimation schemes, are referred. The core material is extended in Appendix 3A and 3B. Chapter 4 provides an introduction to event-based modeling and simulation, and execution rules and specifications of event graph models, event graph modeling templates serving as building blocks for constructing larger models, and real examples of event graph modeling with SIGMA software are presented there. Chapter 5 deals with parameterized event graph modeling and simulation. Parameterized event graphs are introduced, and the execution rules and specifications of proper models are presented. The approach is applied to modeling of tandem lines and job shops, and implementation of SIGMA software is discussed. Chapter 6 gives an introduction to activity-based modeling and simulation, using an activity cycle diagram - a network model of the logical relationships between the activities. Definitions and specifications of an activity cycle diagram, activity cycle diagram modeling templates, and various activity-based modeling examples including, among others, a worker-operated tandem line, an inspection-repair line, a project management system are given. Also parameterized activity cycle diagram and its application to modeling of tandem lines and job shops are presented. Execution of activity cycle diagram models with the use of a formal activity cycle executor ACE - a simulator developed by the authors of the book is shown. Chapter 7 is devoted to simulation of activity cycle diagram models by using the popular process-oriented simulation language Arena. A systematic framework for executing activity cycle diagram models is introduced. Basic elements of Arena language, key Arena model templates for converting activity cycle diagram models to Arena models, and Arena modeling examples in various application areas are given there. In Chapter 8, basic coverage of simulation output analysis and optimization is given. The topics covered in the chapter include the overall framework of the simulation output analysis, the guidelines for qualitative output analysis, statistical output analysis, linear regression analysis, and response surface methodology for simulation optimization. Chapter 9 is devoted to the state-based modeling and simulation methods. The definitions and models of finite state machine, and an extension to timed automata are given. A new state graph formalism is introduced, the structure and modeling examples of the state graphs are presented, and a comprehensive description of system modeling with state graphs, simulation executions of state graph models and composite state graph models are provided. Chapter 10 deals with advanced topics in activity-based modeling and simulation. The chapter is an extension of Chapter 6 and provides methods of developing dedicated activity cycle diagram simulators, modeling with canceling arcs, modeling of robotic work-cells and flexible manufacturing systems, cycle time analysis methods using activity cycle diagram, as well as methods of formal model conversion from activity cycle diagram to event graph and state graph, with examples. Chapter 11 is, in turn, devoted to advanced event graph modeling for integrated fabrication line simulation (simulation-based scheduling) in the high-tech industry. An object-oriented event graph modeling framework, along with the framework for integrated simulation of production and material handling is given on the example of a flat panel display fabrication line. A detailed procedure for developing an automated material handling system - embedded integrated simulator is described. The final Chapter 12 presents concepts and applications of parallel simulation - a simulation composed of a collection of sequential simulations that properly interact in time. A framework for direct workflow management system parallel simulation is presented, a brief description of high-level architecture for parallel simulation systems managed by a run-time infrastructure is provided, and an implementation example is given.NEWLINENEWLINE The book provides an easy-to-understand guide for modeling and simulation of discrete-event systems, presented in an integrated engineering and practice-oriented framework, and is based on decades-long experience of authors in developing simulation-based solutions for high-tech industries. It can be recommended for students and practitioners interested in industrial engineering, management science and computer science.