Text this: Petri nets for modeling of large discrete systems /