Modeling and Simulation of Distributed Systems

CD-ROM with a simulation system and numerous solved models is attached to the book.

Distributed systems are a continuously expanding area of computer science and computer engineering. This book addresses the need for literature on modeling and simulation techniques for distributed systems. For simulation modeling of distributed systems in the book, a specific class of extended Petri nets is used that allows to easily represent the fundamental processes of any distributed system. The book is intended, first of all, as a text for related graduate-level university courses on distributed systems in computer science and computer engineering. Other computer science and computer engineering courses would also find the book useful as a source of practical information for a broad community of those graduate students who are busy with simulation in their study and research. The book can be useful also to academics who give related graduate courses or deliver research-oriented modules for graduate students. Further, the book can be helpful to system architects and developers who apply modeling and simulation techniques as a step in the design and implementation of their systems. Containing a large number of models, with commented source texts and simulation results on the attached CD-ROM, it can also serve as valuable reference book for researchers who want to develop their own models in terms of Petri nets. Contents: Basics of Distributed Systems: Basic Concepts and Features of Distributed Systems Communication Patterns and Paradigms in Distributed Systems Petri Nets for Modeling and Simulation: Petri Nets for the Description, Modeling, and Investigation of Distributed Systems A Class of Extended Petri Nets for System Simulation Languages to Describe and Control Models Models of Networked and Distributed Systems: Models of Simple Information Systems and Their Components Models of Communication Protocols and Local Area Networks Protocol for Distributed Mutual Exclusion; Multicast-Based Anycast Protocol A Protocol of Distributed Leader Election Modeling and Simulation of a Logistic System Appendix: The Simulation System Winsim

Readership: Advanced undergraduate and graduate students, academics and researchers in computer engineering; designers of distributed systems; developers of simulation models of complex information systems. Keywords: Distributed Systems; Petri Nets; Simulation Modeling; Simulation Packages