Skip to content
Snippets Groups Projects
Select Git revision
  • devel2
  • release
  • main default protected
  • devel
4 results

pnml-petri-net-editor

  • Clone with SSH
  • Clone with HTTPS
  • user avatar
    fixed issue #5: all elements like channels; goal: input only for transitions,...
    tj authored
    fixed issue #5: all elements like channels; goal: input only for transitions, markings only for places
    c329fec6
    History
    Name Last commit Last update