C++ Petri net simulation