~verifypn-cpn/verifypn/queryUnfold
Viewing all changes in revision 237.
-
Committer:
Niels Christensen
-
Date:
2019-04-30 12:58:19 UTC
-
Revision ID:
nchri13@student.aau.dk-20190430125819-8ag624162pyjnhq8
WIP making queries work
-
PetriEngine/Simplification
expand all
collapse all
Show diffs side-by-side
added
removed