name petri-nets category Package