pnets_tina (cargo): A parser for tina Petri net
Keywords: petri