look at petri nets 5891558