An edition of Petri nets for systems engineering
(2002)
Petri nets for systems engineering
a guide to modeling, verification, and applications
by Claude Girault and Rüdiger Valk
- 1 Want to read
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Formal methods (Computer science), Petri nets, Systems engineering, 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, Computer Science| Edition | Availability |
|---|---|
1
Petri nets for systems engineering: a guide to modeling, verification, and applications
2003, Springer
in English
3540412174 9783540412175
|
aaaa
|
2
Petri Nets for Systems Engineering
December 16, 2002, Springer
Hardcover
in English
- 1 edition
3540412174 9783540412175
|
zzzz
|
Book Details
Edition Notes
Includes bibliographical references (p. [571]-599) and index.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
| July 30, 2019 | Edited by MARC Bot | associate edition with work OL4075304W |
| December 3, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| December 10, 2009 | Created by WorkBot | add works page |