Cover Image

Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications /

Show other versions (1)

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

Full description

Bibliographic Details
Main Author: Girault, Claude
Corporate Author: SpringerLink (Online service)
Other Authors: Valk, R. (Rüdiger)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.
Subjects:
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Telecommunication.
Management information systems.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Part I. Introduction: Purpose of the Book
  • Acknowledgements
  • Part II. Petri Nets - Basic Concepts: Introduction
  • Essential Features of Petri Nets
  • Intuitive Models
  • Basic Definitions
  • Properties
  • Overview of the Book
  • Part III. Modelling: Introduction
  • Modelling and Analysis Techniques by Example
  • Techniques
  • Methods
  • Case Studies
  • Conclusion
  • Part IV. Verification: Introduction: Issues in Verification
  • State-Space-Based Methods and Model Checking
  • Structural Methods
  • Deductive and Process-Algebra-Based Methods
  • Conclusion
  • Part V. Validation and Execution: Introduction
  • Systems Engineering and Validation
  • Net Execution
  • Code Generation
  • Conclusion
  • Part VI. Application Domains: Introduction
  • Flexible Manufacturing Systems
  • Workflow Systems
  • Telecommunications Systems
  • Conclusion
  • List of Authors and Affiliations
  • Bibliography
  • Index.