Petri 3.0 网建模应用实例

代码说明：

  Petri 网建模应用实例,用于分析Petri网的特性(Petri net modeling application examples for the analysis of the characteristics of Petri nets)

文件列表：

Pipe 3.0
........\cfg
........\...\classification.properties,55,2009-10-14
........\...\comparison.properties,47,2009-10-14
........\...\comparison_1.properties,55,2009-10-14
........\...\dnamaca.properties,41,2009-10-14
........\...\GSPNNew.properties,38,2009-10-14
........\...\invariantAnalysis.properties,61,2009-10-14
........\...\matrixes.properties,43,2009-10-14
........\...\simulation.properties,47,2009-10-14
........\...\stateSpace.properties,48,2009-10-14
........\...\TrapSiphons.properties,49,2009-10-14
........\Docs
........\....\0.Analysis Modules.htm,1508,2009-10-14
........\....\1.Invariant Analysis.htm,1078,2009-10-14
........\....\10.save a file as.htm,767,2009-10-14
........\....\11.close current tub.htm,784,2009-10-14
........\....\12.add a place.htm,719,2009-10-14
........\....\13.add a transition.htm,743,2009-10-14
........\....\14.add an arc.htm,720,2009-10-14
........\....\15.add a token.htm,734,2009-10-14
........\....\16.delete a token.htm,713,2009-10-14
........\....\17.select components.htm,751,2009-10-14
........\....\18.change grid size.htm,765,2009-10-14
........\....\19.toggle to animation mode.htm,751,2009-10-14
........\....\2.Simulation.htm,1155,2009-10-14
........\....\20.step backward a firing.htm,734,2009-10-14
........\....\21.step forward firing.htm,769,2009-10-14
........\....\22.randomly fire a transition.htm,761,2009-10-14
........\....\23.drawing modes.htm,1045,2009-10-14
........\....\24.Place Mode.htm,1034,2009-10-14
........\....\25.Transition Mode.htm,733,2009-10-14
........\....\26.Arc Mode.htm,929,2009-10-14
........\....\27.Select Mode.htm,730,2009-10-14
........\....\28.Add Token Mode.htm,658,2009-10-14
........\....\29.Delete Token Mode.htm,660,2009-10-14
........\....\3.State Space.htm,1505,2009-10-14
........\....\31.add_a_timed_transition.htm,609,2009-10-14
........\....\32.add_an_annotation.htm,526,2009-10-14
........\....\33.randomly_fire_a_number_of_transi.htm,725,2009-10-14
........\....\34.print.htm,573,2009-10-14
........\....\36general_stochastic_petri.htm,1025,2009-10-14
........\....\37dnamacamodule.htm,412,2009-10-14
........\....\38timed_transition_mode.htm,688,2009-10-14
........\....\39toggle_mode.htm,560,2009-10-14
........\....\4.Classification.htm,1045,2009-10-14
........\....\6.Incidence and Marking.htm,1269,2009-10-14
........\....\7.create a new petri-net.htm,790,2009-10-14
........\....\8.open an already existing file.htm,795,2009-10-14
........\....\9.save an existing file.htm,763,2009-10-14
........\....\index.htm,1005,2009-10-14
........\....\PIPE images
........\....\...........\1.new.png
........\....\...........\10.add an arc.png
........\....\...........\11.add an annotation.png
........\....\...........\12.ad a token.png
........\....\...........\13.delete a token.png
........\....\...........\14.select components.png,450,2009-10-14
........\....\...........\15change the grid size.png,449,2009-10-14
........\....\...........\16.toggle to an mode.png,451,2009-10-14
........\....\...........\17.Step backward a firing.png,302,2009-10-14
........\....\...........\19.step forward a firing.png,298,2009-10-14
........\....\...........\2.open.png,406,2009-10-14
........\....\...........\20.randomly fire a transition.png,376,2009-10-14
........\....\...........\20.randomply fire a number of transitions.png,432,2009-10-14
........\....\...........\21.PIPE help.png,525,2009-10-14
........\....\...........\22.PIPE.png,397,2009-10-14
........\....\...........\23.top left GUI.png,17689,2009-10-14
........\....\...........\3.save.png,412,2009-10-14
........\....\...........\35Innvariant.png,19633,2009-10-14
........\....\...........\36InnvariantCIRCUIT.png,14121,2009-10-14
........\....\...........\37simulation.png,11933,2009-10-14
........\....\...........\38simulationNET.png,7506,2009-10-14
........\....\...........\39incidence and marking.png,20102,2009-10-14
........\....\...........\4.Save as.png,480,2009-10-14
........\....\...........\40incidence and markingNET.png,7713,2009-10-14
........\....\...........\41classification.png,12104,2009-10-14
........\....\...........\42classificationNET.png,13450,2009-10-14
........\....\...........\44general stohastic.png,11227,2009-10-14
........\....\...........\45DNAmeca.png,9698,2009-10-14
........\....\...........\46Comparison.png,12579,2009-10-14
........\....\...........\47StateSpace.png,11453,2009-10-14
........\....\...........\49Comparison RES.png,15499,2009-10-14
........\....\...........\5.close.png,494,2009-10-14
........\....\...........\50gspn.png,13731,2009-10-14
........\....\...........\51GSPNNET.png,16277,2009-10-14
........\....\...........\6.print.png,470,2009-10-14
........\....\...........\7.add a place.png,483,2009-10-14
........\....\...........\8.add a transition.png,172,2009-10-14
........\....\...........\9.add a timed transition.png,187,2009-10-14
........\....\...........\Thumbs.db,80896,2009-10-14
........\....\using the taskbar.htm,2019,2009-10-14
........\Example nets
........\............\Accident & Emergency Unit (basic model).xml,19795,2010-09-11
........\............\Accident & Emergency Unit Coloured.xml,33563,2010-09-11
........\............\ClassicGSPN.xml,2964,2009-10-14
........\............\Coloured Reader Writer.xml,7603,2010-05-22
........\............\Courier Protocol.xml,50103,2009-10-14
........\............\Dining philosophers.xml,16880,2009-10-14
........\............\Dual Processor With Colour.xml,9817,2010-09-11