← Back to branch summary

~verifypn-cpn/verifypn/TACPNParser

~verifypn-cpn/verifypn/TACPNParser

Viewing all changes in revision 225.

Committer: Mark Glavind
Date: 2019-03-28 12:38:11 UTC
Revision ID: mglavi14@student.aau.dk-20190328123811-3hc3ctho5io999k4

can now parse and add urgent transitions to the model

files modified:
PetriEngine/AbstractPetriNetBuilder.h

PetriEngine/Colored/ColoredNetStructures.h

PetriEngine/Colored/ColoredPetriNetBuilder.cpp

PetriEngine/Colored/ColoredPetriNetBuilder.h

PetriEngine/Colored/TimeInvariant.cpp

PetriParse/PNMLParser.cpp

PetriParse/PNMLParser.h

Show diffs side-by-side

added added

removed removed

PetriEngine/AbstractPetriNetBuilder.h

PetriEngine/Colored/ColoredNetStructures.h

PetriEngine/Colored/ColoredPetriNetBuilder.cpp

PetriEngine/Colored/ColoredPetriNetBuilder.h

PetriEngine/Colored/TimeInvariant.cpp

PetriParse/PNMLParser.cpp

PetriParse/PNMLParser.h

Older »