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
|
You must be logged in to post a comment.