Please enable JavaScript in your browser!
Home
Esplora
Aiuto
Accedi
projects
/
muMLE
Segui
1
Vota
0
Forka
0
File
Problemi
0
Pull Requests
0
Wiki
Albero (Tree):
af12f3d524
Rami (Branch)
Tag
development
master
mde2425
optimize-matcher
muMLE
/
examples
/
semantics
/
operational
/
port
Joeri Exelmans
3ddfc96532
add renderer for Port + Petri Net + traceability
8 mesi fa
..
rules
42757ddc4f
add examples
9 mesi fa
assignment.py
b944ece747
Let's keep it simple
9 mesi fa
helpers.py
86610139d2
Refactor 'port' demo to include starting point for assignment
9 mesi fa
models.py
54845b2a4a
forgot to include WorkerSet in Port-model
8 mesi fa
renderer.py
3ddfc96532
add renderer for Port + Petri Net + traceability
8 mesi fa
rulebased_runner.py
42757ddc4f
add examples
9 mesi fa
rulebased_sem.py
1845c3deb9
Rename matcher modules to make more sense
9 mesi fa
runner.py
86610139d2
Refactor 'port' demo to include starting point for assignment
9 mesi fa