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 $79.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

SPSS Statistics

5th Edition - A Practical Guide

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Microsoft Planner For Dummies

Statistics and Data Handling for Biologists

A Student's Guide

Statistics and Data Handling for Biologists

A Student's Guide

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

The AI-Driven Data Team

Improve Your Analytics with AI

Data Quality Techniques

Strategies for Continuous Data Improvement

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

ICRMAT-2025

Data Science and Social Research III

Epistemology, Methods, Technology, Applications, and Relation to Artificial Intelligence

AI and Accountability

Shaping Ethical Governance in the Age of Algorithms

Introduction and Applications of Machine Learning in Geotechnics

Artificial Intelligence, Data, and Decision-Making

Proceedings of the 19th International Conference on Wirtschaftsinformatik, Wurzburg, Germany, 2024 - Vol.1

The Visual MBA

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

Hands-On Programming with R

Write Your Own Functions and Simulations

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Statistical Rethinking

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

Microsoft 365 Office All-in-One For Dummies

For Dummies (Computer/Tech)

MYOB For Dummies

9th Edition

Microsoft 365 Excel VBA Programming For Dummies

For Dummies (Computer/Tech)

Microsoft 365 Access For Dummies

Access for Dummies

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Learning Generative AI Tools for Excel

Speed Up Your Everyday Tasks with Microsoft Excel, Copilot, ChatGPT, and Beyond

The Value of People Analytics

Using HR Data to Drive Business Results

This product is categorised by