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

Verification

von: Claude Girault · Rüdiger Valk

Gebunden

ISBN: 978-3-540-41217-5

ISBN-10: 3-540-41217-4

Springer · 2002

S. auch:
2010TaschenbuchPetri Nets For Systems Engineering: A Guide to Modeling, Verification, and Applications