Dealing with Uncertainty on the Initial State of a Petri Net

Open in new window