Select Git revision
TaskAndTimeTimJahn.txt
tj authored
issue #8, #9 seem fixed; visibility of 'input signal'/'reset markings' constrained to transitions/places - their reference versions do not show this option either; updated TaskAndTimeTimJahn.txt; remaining tasks: fixing order of elements in the diagram view - arcs and references should never be hidden by other elemnts, renaming files and related references from 'tasklist' to 'pnml'
TaskAndTimeTimJahn.txt 16.27 KiB