data structures and software dependability

• home

• contact

• members

• teaching

• research

• publications

• software

• events

Program: Snoopy

Windows 8.1 Pro 64 bit Windows 10 Home 64 bit

Steps to error

 - open Snoopy
 - new Colored Stochastic petri net
 - double click to bring color set definition windoww
 - define two new simple type 
             Handle int 1-10000 
             Size int 1-10000
 - try to create product colorset Dataset with Size,Handle
 - check colorset tiptool says ok
 - click Ok

On Windows 8.1 program blocks after displaying Please wait updating marking.Not responding for at least 10 min. Only solution was to invoke task manager(ctr-alt-del) and stop program. Program stops imediatly

On Windows 10

a unhandled exception error windows apears aprox after 10 s. 'A unhandled exception occured.' with 3 option Abort Retray Ignore. Error windows hard to reach beacuse is hidden behind colorset definition window wich is allways in front and can't be moved anymore after the error. Program reacts to all options Clicking Retray or Ignore brings the program back. The created colorset Dataset is visible in the tree in the left pane but save is disabled so it can't be saved. logfile don't register anything in both cases.

Comments

This case is handled correctly by Snoopy, but you have reached a limit in the implementation of coloured Petri nets in Snoopy. What happens is that Snoopy creates the product colour set you have declared and this results in a 10000x10000 matrix blowing up your memory. Reducing the size of the colour sets is the only solution right now.

I leave this bug open until we find a solution to handle such colour sets.

<< 00013 | BugList | 00015 >>