State-space analysis when using Declare

State-space analysis when using Declare

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

Read Me Leave comment

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

Process perspective

Process perspective

Process perspective November 23, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea A lot of things deal with processes in some way. Some with resources. For example XES export of simulations Draw Gantt charts from simulator Recognize and highlight PP CP-nets directly use a notion of process. These Declare constraints Web-services require a notion of starting and finishing a process, and […]

Read Me Leave comment

Recognize and highlight PP CP-nets

Recognize and highlight PP CP-nets

November 23, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Recognize PP nets in an extension, provide a PP net view. Maybe code generation? September 5, 2013 Started

Read Me Leave comment

Support for reset-arcs

Support for reset-arcs

August 9, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea August 14, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) responded Planned Probably going in 4 September 3, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) responded Completed Uncolored version (at least) goes in 4; I’ve created separate request for colored version at Colored Reset Arcs

Read Me Leave comment

Automatic replay of simulation logs

Automatic replay of simulation logs

January 5, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Replay the simulation log, either fully or to a particular state. September 5, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) responded Under review Reopened as 4 goes out soon

Read Me Leave comment

Generic chart library for extensions

Generic chart library for extensions

November 23, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Common charts, e.g., Gantt, bar, line, xy. Useful for things like Draw Gantt charts from simulator or for making performance analysis results visible directly in CPN Tools. Maybe depending on Generic drawing library for simulator extensions but not necessarily. September 5, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) responded […]

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

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

Draw Gantt charts from simulator

Draw Gantt charts from simulator

Draw Gantt charts from simulator November 23, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Draw gantt charts from simulation; needs a notion of resource, maybe shared with XES export of simulations September 5, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) responded Under review Reopened as 4 goes out soon

Read Me Leave comment