Petri Nets for Systems Engineering