| Filename | Size | Date |
|---|
| pipe25_rc5 | 0 | 2007-12-06
|
| pipe25_rc5\pipe.bat | 107 | 2007-10-17
|
| pipe25_rc5\pipe.sh | 107 | 2007-11-12
|
| pipe25_rc5\src | 0 | 2007-12-06
|
| pipe25_rc5\src\src.zip | 737420 | 2007-12-19
|
| pipe25_rc5\lib | 0 | 2007-12-06
|
| pipe25_rc5\lib\jpowergraph-0.2-common.jar | 226425 | 2007-11-26
|
| pipe25_rc5\lib\powerswing-0.3.jar | 229725 | 2007-11-26
|
| pipe25_rc5\lib\jpowergraph-0.2-swing.jar | 94930 | 2007-11-26
|
| pipe25_rc5\cfg | 0 | 2007-12-19
|
| pipe25_rc5\cfg\GSPNNew.properties | 38 | 2007-12-19
|
| pipe25_rc5\cfg\classification.properties | 55 | 2007-12-19
|
| pipe25_rc5\cfg\stateSpace.properties | 48 | 2007-12-19
|
| pipe25_rc5\cfg\invariantAnalysis.properties | 61 | 2007-12-19
|
| pipe25_rc5\cfg\comparison_1.properties | 55 | 2007-12-19
|
| pipe25_rc5\cfg\dnamaca.properties | 41 | 2007-12-19
|
| pipe25_rc5\cfg\simulation.properties | 47 | 2007-12-19
|
| pipe25_rc5\cfg\TrapSiphons.properties | 49 | 2007-12-19
|
| pipe25_rc5\cfg\comparison.properties | 47 | 2007-12-19
|
| pipe25_rc5\cfg\matrixes.properties | 43 | 2007-12-19
|
| pipe25_rc5\Docs | 0 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images | 0 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\51GSPNNET.png | 16277 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\14.select components.png | 450 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\45DNAmeca.png | 9698 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\39incidence and marking.png | 20102 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\19.step forward a firing.png | 298 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\3.save.png | 412 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\20.randomply fire a number of transitions.png | 432 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\7.add a place.png | 483 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\36InnvariantCIRCUIT.png | 14121 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\16.toggle to an mode.png | 451 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\2.open.png | 406 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\50gspn.png | 13731 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\4.Save as.png | 480 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\15change the grid size.png | 449 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\12.ad a token.png | 514 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\10.add an arc.png | 388 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\5.close.png | 494 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\6.print.png | 470 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\17.Step backward a firing.png | 302 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\9.add a timed transition.png | 187 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\44general stohastic.png | 11227 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\Thumbs.db | 80896 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\47StateSpace.png | 11453 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\37simulation.png | 11933 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\22.PIPE.png | 397 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\46Comparison.png | 12579 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\8.add a transition.png | 172 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\42classificationNET.png | 13450 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\20.randomly fire a transition.png | 376 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\40incidence and markingNET.png | 7713 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\35Innvariant.png | 19633 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\1.new.png | 335 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\23.top left GUI.png | 17689 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\49Comparison RES.png | 15499 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\13.delete a token.png | 581 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\41classification.png | 12104 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\38simulationNET.png | 7506 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\21.PIPE help.png | 525 | 2007-12-19
|
| pipe25_rc5\Docs\PIPE images\11.add an annotation.png | 577 | 2007-12-19
|
| pipe25_rc5\Docs\19.toggle to animation mode.htm | 751 | 2007-12-19
|
| pipe25_rc5\Docs\15.add a token.htm | 734 | 2007-12-19
|
| pipe25_rc5\Docs\21.step forward firing.htm | 769 | 2007-12-19
|
| pipe25_rc5\Docs\2.Simulation.htm | 1155 | 2007-12-19
|
| pipe25_rc5\Docs\4.Classification.htm | 1045 | 2007-12-19
|
| pipe25_rc5\Docs\0.Analysis Modules.htm | 1508 | 2007-12-19
|
| pipe25_rc5\Docs\17.select components.htm | 751 | 2007-12-19
|
| pipe25_rc5\Docs\20.step backward a firing.htm | 734 | 2007-12-19
|
| pipe25_rc5\Docs\31.add_a_timed_transition.htm | 609 | 2007-12-19
|
| pipe25_rc5\Docs\index.htm | 1005 | 2007-12-19
|
| pipe25_rc5\Docs\36general_stochastic_petri.htm | 1025 | 2007-12-19
|
| pipe25_rc5\Docs\14.add an arc.htm | 720 | 2007-12-19
|
| pipe25_rc5\Docs\1.Invariant Analysis.htm | 1078 | 2007-12-19
|
| pipe25_rc5\Docs\using the taskbar.htm | 2019 | 2007-12-19
|
| pipe25_rc5\Docs\5.Comparison.htm | 1366 | 2007-12-19
|
| pipe25_rc5\Docs\12.add a place.htm | 719 | 2007-12-19
|
| pipe25_rc5\Docs\28.Add Token Mode.htm | 658 | 2007-12-19
|
| pipe25_rc5\Docs\34.print.htm | 573 | 2007-12-19
|
| pipe25_rc5\Docs\37dnamacamodule.htm | 412 | 2007-12-19
|
| pipe25_rc5\Docs\23.drawing modes.htm | 1045 | 2007-12-19
|
| pipe25_rc5\Docs\18.change grid size.htm | 765 | 2007-12-19
|
| pipe25_rc5\Docs\38timed_transition_mode.htm | 688 | 2007-12-19
|
| pipe25_rc5\Docs\10.save a file as.htm | 767 | 2007-12-19
|
| pipe25_rc5\Docs\3.State Space.htm | 1505 | 2007-12-19
|
| pipe25_rc5\Docs\32.add_an_annotation.htm | 526 | 2007-12-19
|
| pipe25_rc5\Docs\8.open an already existing file.htm | 795 | 2007-12-19
|
| pipe25_rc5\Docs\29.Delete Token Mode.htm | 660 | 2007-12-19
|
| pipe25_rc5\Docs\7.create a new petri-net.htm | 790 | 2007-12-19
|
| pipe25_rc5\Docs\26.Arc Mode.htm | 929 | 2007-12-19
|
| pipe25_rc5\Docs\22.randomly fire a transition.htm | 761 | 2007-12-19
|
| pipe25_rc5\Docs\16.delete a token.htm | 713 | 2007-12-19
|
| pipe25_rc5\Docs\33.randomly_fire_a_number_of_transi.htm | 725 | 2007-12-19
|
| pipe25_rc5\Docs\25.Transition Mode.htm | 733 | 2007-12-19
|
| pipe25_rc5\Docs\13.add a transition.htm | 743 | 2007-12-19
|
| pipe25_rc5\Docs\27.Select Mode.htm | 730 | 2007-12-19
|
| pipe25_rc5\Docs\9.save an existing file.htm | 763 | 2007-12-19
|
| pipe25_rc5\Docs\24.Place Mode.htm | 1034 | 2007-12-19
|
| pipe25_rc5\Docs\11.close current tub.htm | 784 | 2007-12-19
|
| pipe25_rc5\Docs\6.Incidence and Marking.htm | 1269 | 2007-12-19 |
Download