Skip to content
GitLab
  1. 31 Jul, 2012 1 commit
    • Michael Westergaard's avatar
      Graphical support for inhibitor and reset arcs · bf00d243
      Michael Westergaard authored 
      Graphical support (mostly) for FIFO/LIFO/PQueue/Bounded places

Support for low-level nets

Graphical tweaks for regular arcs and port places

Initial support for Declare constraints (does not work and code does not compile ATM)
      bf00d243
  3. 20 Jun, 2012 2 commits
  5. 25 Jan, 2011 1 commit