~verifypn-cpn/verifypn/queryUnfold
Viewing all changes in revision 231.
-
Committer:
Mark Glavind
-
Date:
2019-04-26 11:08:38 UTC
-
Revision ID:
mglavi14@student.aau.dk-20190426110838-mxpa35nlpsulr6y2
WIP on unfolding queries
- files added:
-
PetriEngine/PQL
-
PetriEngine/Simplification
- files removed:
-
PetriEngine/PQL
expand all
collapse all
Show diffs side-by-side
added
removed