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

Storytelling with Data

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

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

The AI Con

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

Nexus

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

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Creative Machines

AI, Art & Us

Machine Learning For Dummies

For Dummies (Computer/Tech)

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

The Tech Coup

How to Save Democracy from Silicon Valley

New Beginnings

why change is so difficult and how to achieve it

AI for Business

A Guide to AI Adoption

Genesis

Artificial Intelligence, Hope, and the Human Spirit

The Shortest History of AI

AI in Early Education

Integrating Artificial Intelligence for Inclusive and Effective Learning

Python All-in-One For Dummies

3rd Edition

Artificial Intelligence

A Modern Approach, 4th Global Edition

Problem Solving with Python

Using Computational Thinking in Everyday Life

AI and Data Science in Healthcare 5.0

Medical Robots and Devices: New Developments and Advances

Python Workout, Second Edition

200 ten-minute exercises

REVOLUTIONIZING DRUG DEVELOPMENT

HARNESSING AI AND COMPUTATIONAL BIOLOGY

MRI in Practice

5th Edition

This product is categorised by