Text this: Petri nets for systems engineering :