Fundamental Models, Verification and Applications
Edited by Michel Diaz
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 to Backorder, No Due Date for Supply
Petri Nets by Michel Diaz
Book DescriptionA 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 DetailsISBN: 9781848210790
(236mm x 155mm x 37mm)
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, 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, 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, Hardback (June 2011)» View all books by Michel Diaz
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.
» 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!)
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.
Bestselling Books: Our Current Bestsellers | Australia's Hottest 1000 Books | Bestselling Fiction | Bestselling Crime Mysteries and Thrillers | Bestselling Non Fiction Books | Bestselling Sport Books | Bestselling Gardening and Handicrafts Books | Bestselling Biographies | Bestselling Food and Drink | Bestselling History | Bestselling Travel Books | Bestselling School Textbooks & Study Guides | Bestselling Children's General Non-Fiction | Bestselling Young Adult Fiction | Bestselling Children's Fiction | Bestselling Picture Books | Top 100 US Bestsellers
Phone: 1300 36 33 32 (9am-5pm Mon-Fri AEST) - International: +61 2 9960 7998 - Online Form
Address: Boomerang Books, 878 Military Road, Mosman Junction, NSW, 2088
© 2003-2017. All Rights Reserved. Eclipse Commerce Pty Ltd - ACN: 122 110 687 - ABN: 49 122 110 687
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.