Discrete-event simulation has long been an integral part of the design process of complex engineering systems and the modelling of natural phenomena. Many of the systems that we seek to understand or control can be modelled as digital systems. In a digital model, we view the system at discrete instants of time, in effect taking snapshots of the system at these instants. For example, in a computer network simulation an event can be the sending of a message from one node to another node while in a VLSI logic simulation, the arrival of a signal at a gate may be viewed as an event. Digital systems such as computer systems are naturally susceptible to this approach. However, a variety of other systems may also be modelled this way. These include transportation systems such as air-traffic control systems, epidemiological models such as the spreading of a virus, and military war-gaming models. This book is representative of the advances in this field.

Thirty-four papers from the April 2004 symposium present recent research on distributed systems and network modeling, as well as advances in simulation methodology and practices. The network simulation contributions explore energy efficient protocols for sensing multiple events in smart dust network

This book constitutes the refereed proceedings of the Second International Symposium on Parallel and Distributed Processing and Applications, ISPA 2004, held in Hong Kong, China in December 2004. The 78 revised full papers and 38 revised short papers presented were carefully reviewed and selected from 361 submissions. The papers are organized in topical sections on parallel algorithms and systems, data mining and management, distributed algorithms and systems, fault tolerance protocols and systems, sensor networks and protocols, cluster systems, grid applications and systems, peer-to-peer and ad hoc networking, grid scheduling and algorithms, data replication and caching, software engineering and testing, grid protocols, context-aware and mobile computing, distributed routing and switching protocols, cluster resource scheduling and algorithms, security, high performance processing, networking and protocols, artificial intelligence systems, hardware architecture and implementations, high performance computing architecture, and distributed systems architecture.

From the preface, page xv: [...] My goal in writing Parallel and Distributed Simulation Systems, is to give an in-depth treatment of technical issues concerning the execution of discrete event simulation programs on computing platforms composed of many processores interconnected through a network"

Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic notions and definitions of discrete-event systems to more recent results. Special attention is given to results on supervisory control, state estimation and fault diagnosis of both centralized and distributed/decentralized systems developed in the framework of the Distributed Supervisory Control of Large Plants (DISC) project. Later parts of the text are devoted to the study of congested systems though fluidization, an over approximation allowing a much more efficient study of observation and control problems of timed Petri nets. Finally, the max-plus algebraic approach to the analysis and control of choice-free systems is also considered. Control of Discrete-event Systems provides an introduction to discrete-event systems for readers that are not familiar with this class of systems, but also provides an introduction to research problems and open issues of current interest to readers already familiar with them. Most of the material in this book has been presented during a Ph.D. school held in Cagliari, Italy, in June 2011.

This book constitutes the proceedings of the 10th International Conference on Parallel Computing Technologies, PaCT 2009, held in Novosibirsk, Russia on August 31-September 4, 2009. The 34 full papers presented together with 2 invited papers and 7 poster papers were carefully reviewed and selected from 72 submissions. The papers are organized in topical sections on models of parallel computing, methods and algorithms, fine-grained parallelism, parallel programming tools and support, and applications.