Skip to content
Snippets Groups Projects
Johannes Mey's avatar
Johannes Mey authored
added ref-place and ref-transition execution support

See merge request jastadd/pnml-relast!1
1cc0c255
History
Name Last commit Last update