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

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 Computer Science

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Nexus

A Brief History of Information Networks from the Stone Age to AI

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Atlas of the Invisible

Maps & Graphics That Will Change How You See the World

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Python All-in-One For Dummies

3rd Edition

Hope in the Library

How Libraries Can Help Shape Our Future with Artificial Intelligence

A Practitioner's Guide to Advancing Behavioral Health Care with Artificial Intelligence

Artificial Intelligence in Mental Healthcare

Potential Applications and New Frontiers

Agentic AI For Dummies

For Dummies (Computer/Tech)

The ChatGPT Revolution

2nd Edition - Get Curious, Get Productive and Get Creative with AI

Artificial Intelligence and Large Language Models

A Scientific Perspective

Green Electronic and RF Technologies for Communications, IoT, and Medical Systems

Applied Data Science in FinTech

Models, Tools, and Case Studies

Applied Data Science in FinTech

Models, Tools, and Case Studies

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

AI for Business

A Guide to AI Adoption

Using Psychoanalysis to Understand and Address AI Bias

Refractions in the Digital Mirror

This product is categorised by