2 ms·Sounds like reachability problem in Petri nets to me?by arianvanp 6mo agoSounds like reachability problem in Petri nets to me?