-
Several transitions can be given the same name. When loading a file saved with such transitions, the reconstructed network has all arrows poiting to one of these transitions.
The attached screenshots show the original network and the same network after save/load.
I think the user interface could at least notify the user in this situation (that saving non-unique transition names may render...
2009-11-12 13:47:46 UTC by maroneze
-
When loading a saved file.
2009-11-12 13:44:38 UTC by maroneze
-
Exception while openning a XML Petri.
2009-06-22 16:27:23 UTC by romain145
-
wilzo1 added nikolas2315 to the Platform Independent Petri Net Editor 2 project.
2009-06-02 12:26:01 UTC by wilzo1
-
ojh06 committed patchset 730 of module PIPE to the Platform Independent Petri Net Editor 2 CVS repository, changing 12 files.
2009-03-15 22:42:54 UTC by ojh06
-
wilzo1 added jakubmichalski to the Platform Independent Petri Net Editor 2 project.
2009-03-11 00:21:05 UTC by wilzo1
-
Hi
I have noticed that deadlock states are classified by PIPE2 as vanishing (rather than tangible) and therefore are not processed by the GSPN analysis module. I wonder if this is correct. According to a paper I'm reading (Balbo, Gianfranco: Introduction to Generalized Stochastic Petri Nets, 2007), markings in which no transition is enabled are tangible (but also absorbing, causing deadlock).
2009-01-09 12:02:12 UTC by holken
-
tsuto committed patchset 729 of module PIPE to the Platform Independent Petri Net Editor 2 CVS repository, changing 3 files.
2008-12-26 20:58:11 UTC by tsuto
-
tsuto committed patchset 728 of module PIPE to the Platform Independent Petri Net Editor 2 CVS repository, changing 1 files.
2008-12-01 23:49:48 UTC by tsuto
-
tsuto committed patchset 727 of module PIPE to the Platform Independent Petri Net Editor 2 CVS repository, changing 1 files.
2008-12-01 23:40:45 UTC by tsuto
