| 49 |
False shortest path to deadlock in state space analysis |
PIPEv4.3.0 |
open |
|
2018-04-18
|
2018-04-18
|
5 |
|
| 48 |
Arcs jump to another transition |
PIPEv4.3.0 |
open |
|
2018-04-18
|
2018-04-18
|
5 |
|
| 47 |
arc weight editor bug |
PIPEv4.3.0 |
open |
|
2014-11-24
|
2014-11-24
|
5 |
|
| 41 |
reachability graph from filename |
None |
open |
|
2013-03-08
|
2013-03-08
|
3 |
|
| 40 |
Reachability graph error |
None |
open |
|
2012-10-25
|
2012-10-25
|
5 |
|
| 38 |
Slooow Simulation |
None |
open |
|
2012-08-23
|
2012-08-23
|
5 |
|
| 32 |
Anyway to make reachability graph? |
None |
open |
|
2011-09-27
|
2011-09-27
|
5 |
|
| 30 |
Copy-paste's bugging if homonymy |
None |
open |
|
2010-07-18
|
2010-07-18
|
5 |
|
| 29 |
OK button of the Transition editor is not default |
None |
open |
|
2010-05-31
|
2010-05-31
|
5 |
|
| 28 |
Non-unique transition names and file load |
None |
open |
|
2009-11-12
|
2009-11-12
|
5 |
|
| 27 |
File Load Error |
None |
open |
|
2009-06-22
|
2009-06-22
|
5 |
|
| 26 |
Help-Display under Windows |
None |
open |
|
2008-10-11
|
2008-10-11
|
5 |
|
| 25 |
Importing TimeNET models yields incorrect rates |
None |
open |
|
2008-07-30
|
2008-07-30
|
5 |
|
| 24 |
Changes on specification get lost |
None |
open |
|
2007-10-17
|
2007-10-17
|
5 |
|
| 23 |
exception under linux |
None |
open |
|
2007-08-27
|
2007-08-27
|
5 |
|
| 22 |
Incorrect invariants calculation |
None |
open |
|
2007-05-17
|
2007-05-17
|
5 |
|
| 18 |
Printing complex net produces black box |
None |
open |
|
2007-04-29
|
2007-04-29
|
5 |
|
| 17 |
IndexOutOfBoundsException trying to add an arc |
None |
open |
|
2007-04-19
|
2007-04-19
|
5 |
|
| 15 |
can't load modules |
None |
open |
|
2007-03-14
|
2007-03-14
|
5 |
|
| 14 |
Bug in Save/SaveAs |
None |
open |
|
2007-03-01
|
2007-03-01
|
5 |
|
| 9 |
Error with incident matrix |
None |
open |
|
2006-11-08
|
2006-11-08
|
5 |
|
| 3 |
Petri Nets World Entry |
None |
open |
|
2006-03-27
|
2006-03-27
|
5 |
|