lp:~tapaal-contributor/verifypn/unfoldTACPN
Created by
Peter Haahr Taankvist
and last modified
- Get this branch:
- bzr branch lp:~tapaal-contributor/verifypn/unfoldTACPN
Members of
TAPAAL Contributors
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
No branches
dependent on this one.
Ready for review
for merging
into
lp:verifypn
- Peter Gjøl Jensen: Pending requested
- Jiri Srba: Pending requested
-
Diff: 3617 lines (+2252/-127) (has conflicts)23 files modifiedCMakeLists.txt (+4/-0)
include/PetriEngine/AbstractPetriNetBuilder.h (+92/-2)
include/PetriEngine/Colored/ColoredNetStructures.h (+23/-0)
include/PetriEngine/Colored/ColoredPetriNetBuilder.h (+97/-8)
include/PetriEngine/Colored/Colors.h (+34/-0)
include/PetriEngine/Colored/Expressions.h (+151/-8)
include/PetriEngine/Colored/TimeInterval.h (+118/-0)
include/PetriEngine/Colored/TimeInvariant.h (+87/-0)
include/PetriEngine/NetStructures.h (+15/-1)
include/PetriEngine/PetriNet.h (+27/-1)
include/PetriEngine/PetriNetBuilder.h (+25/-1)
include/PetriEngine/options.h (+10/-0)
include/PetriParse/PNMLParser.h (+31/-2)
src/PetriEngine/Colored/CMakeLists.txt (+6/-0)
src/PetriEngine/Colored/ColoredPetriNetBuilder.cpp (+477/-9)
src/PetriEngine/Colored/Colors.cpp (+9/-0)
src/PetriEngine/Colored/TimeInterval.cpp (+91/-0)
src/PetriEngine/Colored/TimeInvariant.cpp (+71/-0)
src/PetriEngine/PQL/Expressions.cpp (+167/-0)
src/PetriEngine/PetriNet.cpp (+178/-32)
src/PetriEngine/PetriNetBuilder.cpp (+110/-6)
src/PetriParse/PNMLParser.cpp (+357/-51)
src/VerifyPN.cpp (+72/-6)
Branch information
Recent revisions
- 239. By Thomas Pedersen <email address hidden>
-
Remove expressions from inhibitor arcs and handle .all in tuples
- 236. By Thomas Pedersen <email address hidden>
-
Expand timed net detection and handle missing invariants
- 235. By Thomas Pedersen <email address hidden>
-
Add colortype to dot colors and fix writing of arc weights
- 232. By Thomas Pedersen <email address hidden>
-
Fix some errors when passing colored net from GUI and creating reduced query
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:verifypn