Cargando…
Petri Nets : Fundamental Models, Verification and Applications.
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Hoboken :
John Wiley & Sons,
2009.
|
| Temas: | |
| Acceso en línea: | Texto completo |
| Sumario: | 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. |
|---|---|
| Descripción Física: | 1 online resource (613 pages) |
| Bibliografía: | Includes bibliographical references and index. |
| ISBN: | 9780470394304 0470394307 9780470611647 0470611642 9781282688797 1282688790 |