• 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

Paperback

General ComputersProgramming

ISBN10: 3642074472
ISBN13: 9783642074479
Publisher: Springer
Published: Dec 15 2010
Pages: 607
Weight: 1.90
Height: 1.26 Width: 6.14 Depth: 9.21
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

General Computers