Better warnings for functions with side effects

Better warnings for functions with side effects

May 08, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Check if any functions with side effects are in guards, etc. and report as error – maybe leverage volatile transition to make it an error and allow volatile transitions to bypass it. September 05, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) responded Under review Reopened as 4 goes out […]

Read Me Leave comment

Cascade state space commands

Cascade state space commands

August 23, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea If compute state space is selected, automatically make sure Enter SS is execute first. If compute SCC is selected, make sure compute SS is executed first. If Save report is selected make sure compute SS is executed and (if needed) compute SCC is executed first. Michael Westergaard (Code and Support Guy, […]

Read Me Leave comment

Clear background trigger for snapshot

Clear background trigger for snapshot

October 8, 2013 Zearon Gong shared this idea Sometimes we need to take a snapshot of the model to put in other documents, and the background color and grids will be annoying. Thus, if there is a trigger in the gui for us to switch between design/representation mode would be very nice! Michael Westergaard (Code and Support Guy, CPN Tools) responded Declined Instead, use the […]

Read Me Leave comment

Color Declare constraints according to acceptance

Color Declare constraints according to acceptance

July 16, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Refer to http://westergaard.eu/2012/08/look-at-the-petri-colors/ for more reflection Proposed scheme: green = (possibly) satisfied red = unsatisfiable (both static and dynamic property; static should display conflict) magenta = possibly unsatisfied September 5, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) responded Under review Reopened as 4 goes out soon

Read Me Leave comment

Colored Inhibitor Arcs

Colored Inhibitor Arcs

September 3, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Allow inscriptions on inhibitor arcs like in http://westergaard.eu/2012/07/rfc-conveniences-in-cpn-tools/ November 17, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) responded Postponed I’m going to postpone this to after 4.0. It will require too many changes to places I don’t want to change, and I’m not sure of the benefits until we […]

Read Me Leave comment

Colored Reset Arcs

Colored Reset Arcs

September 3, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Allow inscriptions on reset arcs like in http://westergaard.eu/2012/07/rfc-conveniences-in-cpn-tools/ November 17, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) responded Postponed I’m going to postpone this to after 4.0. It will require too many changes to places I don’t want to change, and I’m not sure of the benefits until we […]

Read Me Leave comment

Comparing 2 state spaces and search for the different states

Comparing 2 state spaces and search for the different states

August 24, 2012 Somsak Vanit-Anunchai shared this idea When I changed a model parameter (slightly change), I found that the new state space was different (slightly). I wish to know how and why they are different. I used to use two computers and compared two state spaces manually which took hours. Is this possible?? August 25, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) […]

Read Me Leave comment

Data-aware Declare simulation

Data-aware Declare simulation

September 5, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Under review

Read Me Leave comment

DCR constraints

DCR constraints

9, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Ass constraints from DCR graphs as first-class members September 5, 2013 Started

Read Me Leave comment

Declare constraints

Declare constraints

August 9, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Support Declare constraints as first-class members July 15, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) responded Completed Working on it now

Read Me Leave comment