• 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