A small Petri net model checker using Hierarchical Set Decision Diagrams.