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

Help – Simulation has to be executed in small steps

Help – Simulation has to be executed in small steps

June 25, 2013 Fabian shared this idea Hi! Has anyone else encountered this problem? Whenever I try and run an entire simulation on my model (around 6000 to 7000 steps) certain tokens just disappear after around 600 to 800 steps and the simulation is stopped. But when I run the simulation by only 800 steps at a time it works right thorugh to the end. […]

Read Me Leave comment

State Space Tool handles random incorrectly

State Space Tool handles random incorrectly

August 25, 2014 Dmytro Glomozda shared this idea 1) I use CPN Tools 4.0.0, Windows 7 x64 2) I built a simple net with two places (p1 and p2) and one transition (t1) between them. Both p1 and p2 are of type INT. p1 is marked with a token ’10’. Token is taken to the transition via an arc carrying variable i : INT, then […]

Read Me Leave comment

when i right click to create new net ,cpn tools goes to not responding state.

when i right click to create new net ,cpn tools goes to not responding state.

November 6, 2012 riza khodaei shared this idea when i right click to create new net ,cpn tools goes to not responding state and my mouse pointer turning on for infinite time when i close cpn tools. November 7, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) responded Under review Try using safe mode. November 17, 2012 Michael Westergaard (Code and Support Guy, CPN […]

Read Me Leave comment

“Save as” should allow you to enter a file name

“Save as” should allow you to enter a file name

November 5, 2012 Christian Gierds shared this idea I am using CPN Tools 3.4.0 (latest stable today) with Windows 7 (64 bit). I created a new net and chose “Save net as”. I expected to show up a dialog allowing me to enter a file name (because the net was new). Instead a dialog windows appeared, where I only could dive into folders (not even […]

Read Me Leave comment