Tell your friends about this item:
Petri Nets: Fundamental Models, Verification and Applications M Diaz
Petri Nets: Fundamental Models, Verification and Applications
M Diaz
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.
656 pages, Illustrations
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | July 10, 2009 |
| ISBN13 | 9781848210790 |
| Publishers | ISTE Ltd and John Wiley & Sons Inc |
| Pages | 656 |
| Dimensions | 157 × 240 × 38 mm · 1.02 kg |
| Editor | Diaz, Michel (LAAS-CNRS, Toulouse, France) |