Petri Nets for Systems Engineering

A Guide to Modeling, Verification, and Applications

By: Claude Girault, Rüdiger Valk

Write A Review

Hardcover | 13 November 2002

At a Glance

Hardcover
628 Pages

Dimensions(cm)
24.77 x 16.51 x 3.81

Hardcover

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

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.

Industry Reviews

From the reviews:

"This is an extensive work providing an overview of the current state of the art of the use of Petri nets in systems engineering. ... The book has been carefully written avoiding an excess of formulas and technicalities. ... This book is suited for those well acquainted with formal modelling of systems and who now want to learn which techniques are available from the perspective of Petri nets." (J.F. Groote, Zentralblatt MATH, Vol. 1024, 2003)

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Discrete Mathematics Computing & I.T.Computer Science Systems Analysis & Design Computer Programming & Software Development Software Engineering Mathematical Foundation Mathematical Logic Engineering & Technology Industrial Chemistry & Manufacturing Technologies

Computer Architecture & Logic Design Computer Hardware Network Hardware Business Applications

Other Editions and Formats

Paperback

Published: 15th December 2010

View Product

Introduction: Purpose of the Book
Acknowledgements
Petri Nets - Basic Concepts: Introduction
Essential Features of Petri Nets
Intuitive Models
Basic Definitions
Properties
Overview of the Book
Modelling: Introduction
Modelling and Analysis Techniques by Example
Techniques
Methods
Case Studies
Conclusion
Verification: Introduction: Issues in Verification
State-Space-Based Methods and Model Checking
Structural Methods
Deductive and Process-Algebra-Based Methods
Conclusion
Validation and Execution: Introduction
Systems Engineering and Validation
Net Execution
Code Generation
Conclusion
Application Domains: Introduction
Flexible Manufacturing Systems
Workflow Systems
Telecommunications Systems
Conclusion
List of Authors and Affiliations
Bibliography
Index
Table of Contents provided by Publisher. All Rights Reserved.

Petri Nets for Systems Engineering

A Guide to Modeling, Verification, and Applications

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Business Applications

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Statistics and Data Handling for Biologists

A Student's Guide

Statistics and Data Handling for Biologists

A Student's Guide

Introduction and Applications of Machine Learning in Geotechnics

Getting to Know ArcGIS Pro 3.6

Getting to Know

Proceedings of the 6th International Conference on Research in Management & Technovation

ICRMAT-2025

SPSS Statistics

5th Edition - A Practical Guide

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Hands-On Programming with R

Write Your Own Functions and Simulations

The Visual MBA

A Quick Guide to Everything You'll Learn in Two Years of Business School

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Microsoft 365 Excel VBA Programming For Dummies

For Dummies (Computer/Tech)

Microsoft 365 Office All-in-One For Dummies

For Dummies (Computer/Tech)

Microsoft Excel 365 Bible

Bible

Adobe Photoshop Lightroom Classic For Dummies

For Dummies (Computer/Tech)

The Value of People Analytics

Using HR Data and AI to Drive Business Results

Excel 2019 All-in-One For Dummies

All-in-One For Dummies

Statistical Rethinking

2nd Edition - A Bayesian Course with Examples in R and STAN

Microsoft 365 PowerPoint For Dummies

Powerpoint for Dummies

Microsoft 365 Word For Dummies

Word for Dummies

Microsoft 365 Access For Dummies

Access for Dummies

Microsoft Project For Dummies

For Dummies (Computer/Tech)

MYOB For Dummies

9th Edition

Photoshop Elements 2025 For Dummies

For Dummies (Computer/Tech)

This product is categorised by