Hacker News new | ask | show | jobs
by arianvanp 82 days ago
Sounds like reachability problem in Petri nets to me?