Check the robustness of the Gantt chart method
Gantt charts show correctly the occupancy time of places, even in the case that places contain one initial token. Do they work when there are more than one initial token? This has to be investigated.
Gantt charts show correctly the occupancy time of places, even in the case that places contain one initial token. Do they work when there are more than one initial token? This has to be investigated.