Springer-Verlag New York Petri Nets for Systems Engineering