pnets_dotnet (cargo): A parser for dotnet petri networks
Keywords: petri