Petri Nets for Systems Engineering - 9783642074479
ISBN-13: 9783642074479, 978-3642074479. Petri Nets for Systems Engineering A Guide to Modeling, Verification, and Applications. These techniques and their tool support are discussed in detail including practical issues.