Closed LenaSaid closed 1 year ago
Actual invariants should be shown when unfolding a timed CPN net.
Solves https://bugs.launchpad.net/tapaal/+bug/2007299.
Actual invariants should be shown when unfolding a timed CPN net.
Solves https://bugs.launchpad.net/tapaal/+bug/2007299.