"A Petri net simulator based on object-oriented programming"