-
- Downloads
more models and flattening results
Showing
- README.md 0 additions, 92 deletionsREADME.md
- models/model-full-flatted.net 199 additions, 0 deletionsmodels/model-full-flatted.net
- models/model-full.pnml 0 additions, 0 deletionsmodels/model-full.pnml
- models/task-1/model-top-flatted.net 113 additions, 0 deletionsmodels/task-1/model-top-flatted.net
- models/task-1/model-top-task.pnml 0 additions, 0 deletionsmodels/task-1/model-top-task.pnml
- models/task-1/model-top.pnml 0 additions, 0 deletionsmodels/task-1/model-top.pnml
- models/task-2/model-blocking-signals-flatted.net 200 additions, 0 deletionsmodels/task-2/model-blocking-signals-flatted.net
- models/task-2/model-blocking-signals.pnml 1098 additions, 0 deletionsmodels/task-2/model-blocking-signals.pnml
- models/task-2/model-one-robot.pnml 1098 additions, 0 deletionsmodels/task-2/model-one-robot.pnml
- models/task-2/model-without-sync.pnml 1098 additions, 0 deletionsmodels/task-2/model-without-sync.pnml
models/model-full-flatted.net
0 → 100644
This diff is collapsed.
File moved
models/task-1/model-top-flatted.net
0 → 100644
File moved
File moved
This diff is collapsed.
models/task-2/model-blocking-signals.pnml
0 → 100644
This diff is collapsed.
models/task-2/model-one-robot.pnml
0 → 100644
This diff is collapsed.
models/task-2/model-without-sync.pnml
0 → 100644
This diff is collapsed.
Please register or sign in to comment