• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

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

Hardcover

General ComputersProgramming

ISBN10: 3540412174
ISBN13: 9783540412175
Publisher: Springer
Published: Nov 13 2002
Pages: 607
Weight: 2.31
Height: 1.58 Width: 6.52 Depth: 9.56
Language: English
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.

1 different editions

Also available

Also in

Programming