Modelling with Generalized Stochastic Petri Nets M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis 301 pages, hard cover, John Wiley & Sons 1995 - ISBN 0 471 93059 8 B o o k d e s c r i p t i o n ( f r o m the cover): This book presents a unified theory of Generalized Stochastic Petri Nets (GSPNs) together with a set of illustrative examples from different application fields. The continuing success of GSPNs and the increasing interest in using them as a modelling paradigm for the quantitative analysis of distributed systems suggested the preparation of this volume with the intent of providing newcomers to the field with a useful tool for their first approach. Readers will find a clear and informal explanation of the concepts followed by formal definitions when necessary or helpful. The largest section of the book however is devoted to showing how this methodology can be applied in a range of domains. Contents: Introduction Petri nets and their properties Time in Petri nets Petri nets with priority GSPN basics Analysis of GSPN models GSPN representation of Phase-Type distributions Modelling flexible manufacturing systems Compact models of random polling systems Modelling and analysis of concurrent programs Models of concurrent architectures Stochastic process fundamentals STOCHASTIC P E T R I NETS - An Introduction to the T h e o r y Falko Bause, Pieter S. Kritzinger 250 pages, hard cover, Vieweg-Verlag 1996 - ISBN 3-528-05535-9 B o o k d e s c r i p t i o n ( f r o m the cover): Any engineer who is responsible for the design and development of discrete systems, such as embedded software for control or telecommunications systems, knows that the most important quality of the final product is that it be functionally correct. Once assured that the system behaves correctly, it is also important that it be efficient in that its running cost is minimal or is optimum in whatever quantitative measure is chosen. Stochastic Petri nets have been developed over the last decade with these objectives in mind. This book is an introduction to Stochastic Petri nets and arose out of a desire by the authors to collect all one needs to understand Stochastic Petri net theory in one volume. It is in three parts. The first part is on stochastic theory leading to introductory queueing theory and simple queues. In Part I we emphasise Markovian theory, because where general queueing theory fails, Markovian analysis can often still be useful. Part II is about Petri nets, starting with ordinary Petri nets and ending with Coloured Petri nets. Ordinary and Coloured Petri nets do not involve time and were developed to test the functionality of concurrent systems. In this part of the book we give an overview of the most important analysis techniques paying particular attention to the validation of those properties which are essential for Stochastic Petri nets. Our emphasis in Part III is on those Stochastic Petri net models which can be analysed by Markovian techniques. The intention of this book is not to give an overview of several or all Stochastic Petri net models appearing in the literature, but to stress a combined view of functional and performance analysis in the context of some Stochastic Petri net models. Contents:

/lp/association-for-computing-machinery/stochastic-petri-nets-an-introduction-to-the-theory-kxjo7j7k45