Newsletter   Secure Checkout   Shopping Cart (0 Items)  
Search:    Welcome Guest! Save up to 30-40% on most items with our awesome everyday discounts!

Petri Nets for Systems Engineering [Hardcover]

Our Price $ 130.66  
Retail Value $ 139.00  
You Save $ 8.34  
Item Number 230810  
Buy New $130.66
Available on the Internet only.

Item description for Petri Nets for Systems Engineering by Claude Girault...

Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.
The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.

Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at!

Item Specifications...

Pages   607
Est. Packaging Dimensions:   Length: 9" Width: 6.4" Height: 1.6"
Weight:   2.25 lbs.
Binding  Hardcover
Release Date   Dec 16, 2002
Publisher   Springer
ISBN  3540412174  
ISBN13  9783540412175  

Availability  137 units.
Availability accurate as of Oct 21, 2016 07:56.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.

More About Claude Girault

Register your artisan biography and upload your photo! Are You The Artisan or Author behind this product?
Improve our customers experience by registering for an Artisan Biography Center Homepage.

Product Categories

1Books > Subjects > Computers & Internet > Computer Science > Artificial Intelligence > Computer Mathematics
2Books > Subjects > Computers & Internet > Computer Science > Artificial Intelligence > Machine Learning
3Books > Subjects > Computers & Internet > Computer Science > Software Engineering > Information Systems
4Books > Subjects > Computers & Internet > Computer Science > Software Engineering > Methodology
5Books > Subjects > Computers & Internet > Computer Science > Systems Analysis & Design
6Books > Subjects > Computers & Internet > General
7Books > Subjects > Computers & Internet > Programming > Software Design > Software Development
8Books > Subjects > Professional & Technical > Engineering > General
9Books > Subjects > Professional & Technical > Engineering > Industrial, Manufacturing & Operational Syste > Industrial Technology
10Books > Subjects > Professional & Technical > Professional Science > Mathematics
11Books > Subjects > Science > Mathematics > General

Reviews - What do customers think about Petri Nets for Systems Engineering?

Good general overview of the field, but quite uneven  Aug 24, 2007

This book goes for breadth, in a very ambitious take on Petri nets: to cover the complete range of activities of systems engineering supported by nets, from modelling to verification to validation and execution, including case studies in application domains. All this in a complete, self-contained volume. And it mostly succeeds in giving a general view of the possible uses of Petri nets and the research areas related to these nets. So it may be useful to both practicioners and researchers.

The chapters are divided into parts, according to the many aspects investigated: Part I is on basic concepts of Petri nets, including its features, models, definitions and properties. Part II takes on modelling systems with Petri nets. Individual techniques and complete methods (e.g. state-based modelling and event-based modelling) are presented, and case studies analysed. Then, Part III includes four chapters about verification of Petri net models, presenting an array of different techniques and approaches: state-space-based model checking, structural methods, deductive logic-based methods and techniques based on process algebras. Finally, Part IV is about validation and execution of nets, including code generation from net models, and Part V showcases three application domains for the nets: manufacturing systems, workflow systems and telecommunications.

To cover all this ground in the subject of Petri nets, the book was written collectively by more than 20 authors; even some of the chapters are divided into sections written by different people. This naturally results in noticeable variations of style and quality between chapters, and even between sections in the same chapter. Although some effort was spent to try to integrate them better, some sections (and chapters) are quite convoluted and hard to understand, while others are very clear and informative. The notation and style of presentation also changes, but this is mostly not a problem, because chapters often tackle different problems. Also, most of the sections that are difficult to grasp include references that can be used to learn more about the subject. Some sections are really very superficial, covering only the major ideas involved in some technique or method, and sweeping most of the meaty details under the rug, to the references. Unfortunately, some sections don't include enough references to track the original work from which they're based.

Finally, a warning regarding the title: it seems mostly directed to practicioners, but actually includes a lot of material that can be classified as recent research, and so not thoroughly in the field. This is very valuable to a researcher on Petri nets, who can get in contact with a lot of the research on nets done elsewhere, but may be not directly useful to practicioners. Even so, users of Petri nets that are not very interested in research results may take from the book a general idea of tools and possibilities that can be used with net models in all the stages of systems design and execution.

For all readers, I believe this book is mostly useful as a collection of pointers to further research or experimentation.

Write your own review about Petri Nets for Systems Engineering

Ask A Question or Provide Feedback regarding Petri Nets for Systems Engineering

Item Feedback and Product Questions
For immediate assistance call 888.395.0572 during the hours of 10am thru 8pm EST Monday thru Friday and a customer care representative will be happy to help you!

Help us continuously improve our service by reporting your feedback or questions below:

I have a question regarding this product
The information above is incorrect or conflicting
The page has misspellings or incorrect grammar
The page did not load correctly in my browser or created an error.

Email Address:
Anti Spam Question. To combat spammers we require that you answer a simple question.
What color is the sky?
Leave This Blank :
Do Not Change This Text :

Add This Product Widget To Your Website

Looking to add this information to your own website? Then use our Product Widget to allow you to display product information in a frame that is 120 pixels wide by 240 pixels high.

    Copy and paste the following HTML into your website and enjoy!

Order toll-free weekdays 10am thru 10pm EST by phone: 1-888-395-0572 (Lines are closed on holidays & weekends.)
Customer Service | My Account | Track My Orders | Return Policy | Request Free Catalog | Email Newsletter

Gift Certificates
RSS Feeds
About Us
Contact Us
Terms Of Use
Privacy Policy