logoalt Hacker News

arianvanp • today at 6:40 AM • 0 replies • view on HN

Sounds like reachability problem in Petri nets to me?