Stock image for illustration purposes only - book cover, edition or condition may vary.
Petri Nets
Michel . Ed(S): Diaz
€ 375.54
FREE Delivery in Ireland
Description for Petri Nets
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. Editor(s): Diaz, Michel. Series: ISTE. Num Pages: 656 pages, Illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 240 x 157 x 38. Weight in Grams: 1016.
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 ... Read more
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 ... Read more
Product Details
Publication date
2009
Publisher
ISTE Ltd and John Wiley & Sons Inc United Kingdom
Number of pages
656
Condition
New
Series
ISTE
Number of Pages
656
Format
Hardback
Place of Publication
London, United Kingdom
ISBN
9781848210790
SKU
V9781848210790
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About Michel . Ed(S): Diaz
Michel Diaz is director of research at the National Center of Scientific Research (CNRS), Paris, France and leads the critical computer systems research department at LAAS-CNRS, Toulouse.
Reviews for Petri Nets
"We think that this volume should greatly help any designer to build the new forthcoming generation of distributed systems." (Mathematical Reviews, 2011)