Login

Diaz, Michel

Petri Nets: Fundamental Models, Verification and Applications

Diaz, Michel - Petri Nets: Fundamental Models, Verification and Applications, ebook

288,70€

Ebook, ePUB with Adobe DRM
ISBN: 9781118623053
DRM Restrictions

Printing30 pages with an additional page accrued every day, capped at 30 pages
Copy to clipboard5 excerpts

A Petri net is a mathematical representation of a network. This book first introduces the basic models including time and stochastic extensions, in particular place-transition and high level Petri nets. Their modeling and design capabilities are illustrated by a set of representations of interest in operating and communication systems. The volume then addresses the related verification problems and proposes corresponding solutions by introducing the main notions needed to fully understand the behavior and properties behind Petri nets. Particular attention is devoted to how systems can be fully represented and analyzed in terms of their behavioral, time, and stochastic aspects by using the same formal approach and semantic basis. Finally, illustrative examples are presented in the important fields of interoperability in telecommunication services, programming languages, multimedia architectures, manufacturing systems, and communication protocols.

Author(s)
Publisher
John Wiley and Sons, Inc.
Publication year
2008
Language
en
Edition
1
Page amount
768 pages
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (ePUB)
9781118623053
Printed ISBN
9781848210790

Similar titles