Petri Nets by Michel Diaz
Look inside with Google Book Preview
Petri Nets
By Michel Diaz

Petri Nets

Fundamental Models, Verification and Applications

Edited by See other recent books by Michel Diaz
Format: Hardback

Normal Price: $510.95
Your Price: $459.86 AUD, inc. GST
Shipping: $7.95 per order
You Save: $51.09! (10% off normal price)
Plus...earn $22.99 in Boomerang Bucks
Availability: Available Available to Backorder, No Due Date for Supply

Petri Nets by Michel Diaz

Book Description

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.

Buy Petri Nets book by Michel Diaz from Australia's Online Bookstore, Boomerang Books.

Book Details

ISBN: 9781848210790
ISBN-10: 1848210795
Format: Hardback
(236mm x 155mm x 37mm)
Pages: 656
Imprint: ISTE Ltd and John Wiley & Sons Inc
Publisher: ISTE Ltd and John Wiley & Sons Inc
Publish Date: 1-Feb-2009
Country of Publication: United Kingdom

Books By Author Michel Diaz

Satellite and Terrestrial Hybrid Networks by Michel Diaz Satellite and Terrestrial Hybrid Networks, Hardback (September 2015)

This book offers the reader the keys for a successful understanding, integration and usage of satellite systems in addition to next generation terrestrial networks. The DVB-S2/RCS system is used to illustrate the integration challenges. The presentation uses a system approach, i.e.

Digital Home Networking by Michel Diaz Digital Home Networking, Hardback (October 2011)

This much-needed book describes the digital home networking environment, its techniques, and the challenges around its service architecture.

Communicating Systems with UML 2 by Michel Diaz Communicating Systems with UML 2, Hardback (June 2011)

Offering a practical approach to modeling and analyzing communication protocols using UML 2, this book gives the basis needed to model and validate protocols. It is based on a practical approach and includes illustrative examples for the description and analysis of well known basic network mechanisms for protocols.

» View all books by Michel Diaz


» Have you read this book? We'd like to know what you think about it - write a review about Petri Nets book by Michel Diaz and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)

Write a book review

Author Biography - Michel 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.

Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by Michel Diaz close
Satellite and Terrestrial Hybrid Networks by Michel Diaz
Digital Home Networking by Michel Diaz
Communicating Systems with UML 2 by Michel Diaz
» close