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

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

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

XES export of simulations

XES export of simulations

November 23, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Export simulation runs directly to XES; could be done using a simulator extension and declare keywords on types (color INT = int declare xes:case_id). September 5, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) responded Under review Reopened as 4 goes out soon

Read Me Leave comment

Inverse functions binding patterns

Inverse functions binding patterns

March 25, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Make it possible to bind using inverse functions; e.g., if x is bound, x+y is bound, y can be bound using (x+y) – x. September 5, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) responded Under review Reopened as 4 goes out soon

Read Me Leave comment

Welcome wizard

Welcome wizard

August 22, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Non-intrusive welcome wizard. Should offer to create a new model (list all models from template directory), load an existing model, and re-open any of the last 10 opened models. Should only appear when no model is loaded and disappear as soon as one is. Should be a non-model sheet/binder on the […]

Read Me Leave comment

Usage statistics

Usage statistics

September 20, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Record and send usage statistics to server; same as in Word/Eclipse: what tools are used, what users are clicking, names of elements, where users search for things, maybe even models. Opt-in and anonymous. Could be made in a special version for teachers, forcing students to upload such statistics for analysis (including […]

Read Me Leave comment