Here's the question:
$\qquad$
How do we go about doing this ? I have very little knowledge on petri nets. Can someone answer it for me ? (And regarding the program part , just give me an idea on what to do maybe like an algorithm?)
Thanks so much !