Skip to content
Home/ Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications (2003)
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications (2003)

Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications (2003)

by Girault, Claude
No customer reviews yet ISBN 9783540412175 Springer

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.

About the author

Product details

BrandSpringer
Pub dateNov 13, 2002
ISBN-103540412174
ISBN-139783540412175
LanguageEnglish
Dimensions6.14 × 1.44 × 9.21 in
Weight5 lb
Last updated 2026-08-03 18:08
$114.64
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Category
See all
Economics-Driven Software Architecture
<p><i>Economics-driven Software Architecture</i> presents a guide for engineers and architects who need to understand the economic impact of architecture design decisions: the long term and strategic viability, cost-effectiveness, and sustainability of applications and systems. Economics-driven software development can increase quality, productivity, and profitability, but comprehensive knowledge is needed to understand the architectural challenges involved in dealing with the development of large, architecturally challenging systems in an economic way.</p> <p>This book covers how to apply economic considerations during the software architecting activities of a project. Architecture-centric approaches to development and systematic evolution, where managing complexity, cost reduction, risk mitigation, evolvability, strategic planning and long-term value creation are among the major drivers for adopting such approaches. It assists the objective assessment of the lifetime costs and benefits of evolving systems, and the identification of legacy situations, where architecture or a component is indispensable but can no longer be evolved to meet changing needs at economic cost. Such consideration will form the scientific foundation for reasoning about the economics of nonfunctional requirements in the context of architectures and architecting.</p>
$118.11
Object-Oriented Systems Analysis and Design
George, Joey F
$175.21
Art of UNIX Programming
Raymond, Eric
$51.12
Data Abstraction & Problem Solving with Java: Walls and Mirrors
Prichard, Janet
$262.09
Data Structures and Abstractions with Java (Revised)
Carrano, Frank M
Data and Computer Communications
Stallings, William
$278.26