January 22, 2013

Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea

Transition fusion as in Søren’s paper on channels. Can be done using extensions if surrounding places are not allowed to be port places (make a separate page, fuse places over there, replace transition by one transition)

March 7, 2013

Michael Westergaard (Code and Support Guy, CPN Tools) responded

Postponed

Postponed to (at least) after 4

September 5, 2013

Michael Westergaard (Code and Support Guy, CPN Tools) responded

Under review

Reopened as 4 goes out soon

Time condensed state-spaces
Tutorial on using reals in guards

You must be logged in to post a comment.