pntools (pypi): Petri net and labelled partial order tools
Keywords: Petri|net|labelled|partial|order|pnml|lpo