Text this: Petri Nets for Systems Engineering :