Petri Nets for Systems Engineering
Edition: 1 edition
Publisher: Springer
Published: December 16, 2002
Language: eng
Format: Hardcover
Number of pages: 607
ISBN-13: 9783540412175
Subjects: Mathematical logic; Software engineering; Machine Theory; Computers - Languages / Programming; Computer Mathematics; Programming - Systems Analysis & Design; Computers; Logic Design; Computer Books And Software; Industrial Technology; Formal methods (Computer scien; Applications; Computers / Programming / Software Development; Computers / Programming / Systems Analysis & Design; Computers-Machine Theory; Modeling; Systems Engineering; Petri nets; Computer Science; Formal methods (Computer science)
First sentence: This book intends to show how Petri nets fill many of the needs of systems modelling, their verification and implementation, as mentioned in the preface.