Home Explore Help
Sign In
projects
/
muMLE
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: 9883e09ac2
Branches Tags
muMLE
/
examples
/
petrinet
Joeri Exelmans 9883e09ac2 merging (meta-)models works (but it's dirty!) 8 months ago
..
metamodels 5962a476c0 rename types in Petri Net formalism to prevent naming collisions when merging with 'Port' formalism 8 months ago
models 5962a476c0 rename types in Petri Net formalism to prevent naming collisions when merging with 'Port' formalism 8 months ago
operational_semantics 5962a476c0 rename types in Petri Net formalism to prevent naming collisions when merging with 'Port' formalism 8 months ago
renderer.py 9883e09ac2 merging (meta-)models works (but it's dirty!) 8 months ago
runner.py daa50d8c82 also render petri net as object diagram 8 months ago