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
  2. 20 Jun, 2012 2 commits
  3. 25 Jan, 2011 1 commit