https://123dok.net/document/y8g727w0-a-simple-abstract-interpretation-for-petri-net-queries.html