ConstraintArcs in groups

ConstraintArcs in groups

August 20, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea September 05, 2013 Completed Michael Westergaard (Code and Support Guy, CPN Tools) commented Problem is actually only drawing first and cloning …and load (not save)

Read Me Leave comment

ConstraintInscriptions in groups

ConstraintInscriptions in groups

August 15, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Test that ConstraintInscriptions work with groups Michael Westergaard (Code and Support Guy, CPN Tools) commented getElementsToAddToGroupWithThisElement in PageElement August 20, 2013 Completed

Read Me Leave comment

DCR does not work with non-interactive simulation

DCR does not work with non-interactive simulation

September 10, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Must generate automaton like Declare Planned

Read Me Leave comment

DCR should not filter out Declare

DCR should not filter out Declare

September 10, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea When using DCR, predictive Declare is broken as the constraints are filtered out Planned

Read Me Leave comment

Declare and non-interactive simulation

Declare and non-interactive simulation

August 20, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Does not work. September 4, 2013 Completed

Read Me Leave comment

Delete constraints

Delete constraints

July 16, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Related to (but not same as) Remove new inscriptions on delete of main element August 7, 2013 Completed

Read Me Leave comment

Error generating report: Exception: ExnDuringExecution

Error generating report: Exception: ExnDuringExecution

June 12, 2013 Mikhail shared this idea I get Error generating report: Exception: ExnDuringExecution ../compiler/TopLevel/interact/evalloop.sml:296.17-296.20 ../compiler/TopLevel/interact/evalloop.sml:44.55 ../compiler/Basics/stats/stats.sml: 198.40 ../compiler/Execution/main/isolate.sml:26.50 ../compiler/TopLevel/interact/evalloop.sml: 44.55 ../compiler/Execution/main/execute.sml: 49.48-49.60 when I execute Save Report. I load the network, initialize the state (Simulation / left button), execute Enter SS, (optionally) Calculate SS and then Save Report. CPN Tools 3.4.0, also reproduced on 3.0.3. Windows 7 x64 Home Edition August 9, 2013 Michael […]

Read Me Leave comment

Exception: ExnDuringExecution on evalution of CTL-formula

Exception: ExnDuringExecution on evalution of CTL-formula

September 10, 2013 Mikhail shared this idea I’m trying to make a query on a state space. The idea is “if some situation happens in one state then later another situation must happen”. Simplified case is fun f1 n = (n=2); fun f2 n = (n=5); val myASKCTLformula = POS(AND(NF(“f1”, f1), EV(NF(“f2”, f2)))); eval_node myASKCTLformula 1; I expected false because 5-th state is not reachable […]

Read Me Leave comment

Exclusion erroneous in some cases

Exclusion erroneous in some cases

September 10, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea We saw this during the BPM demo Planned

Read Me Leave comment

Feedback when drawing new arcs from a clone

Feedback when drawing new arcs from a clone

August 21, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Create a reset/inhibitor arc. Clone it. Expected: it looks like creating a new arc Actual: It looks like creating a standard arc August 12, 2013 Completed

Read Me Leave comment