PetriNetDiningPhilosophers

Below is a browsable image of the model.

  • To view or save the MoML file for this model, click here.
PetriNetDiningPhilosophersmodel <h2>PetriNet Director</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>startTime</td><td>&nbsp;</td><td>null</td></tr><tr><td>stopTime</td><td>&nbsp;</td><td>null</td></tr><tr><td>iterations</td><td>20</td><td>20</td></tr><tr><td>seed</td><td>0L</td><td>0L</td></tr><tr><td>resetOnEachRun</td><td>false</td><td>false</td></tr></table> <h2>p1</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>initialMarking</td><td>1</td><td>1</td></tr></table> <h2>p0</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>initialMarking</td><td>1</td><td>1</td></tr></table> <h2>p4</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>initialMarking</td><td>1</td><td>1</td></tr></table> <h2>PetriNetDisplay</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>rowsDisplayed</td><td>10</td><td>10</td></tr><tr><td>columnsDisplayed</td><td>40</td><td>40</td></tr><tr><td>suppressBlankLines</td><td>false</td><td>false</td></tr><tr><td>title</td><td>&nbsp;</td><td>&nbsp;</td></tr></table> <h2>t6</h2>Has no parameters. <h2>t8</h2>Has no parameters. <h2>t7</h2>Has no parameters. <h2>t9</h2>Has no parameters. <h2>t5</h2>Has no parameters. <h2>t1</h2>Has no parameters. <h2>t2</h2>Has no parameters. <h2>t3</h2>Has no parameters. <h2>p9</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>initialMarking</td><td>0</td><td>0</td></tr></table> <h2>t4</h2>Has no parameters. <h2>t0</h2>Has no parameters. <h2>p2</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>initialMarking</td><td>1</td><td>1</td></tr></table> <h2>p3</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>initialMarking</td><td>1</td><td>1</td></tr></table> <h2>p6</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>initialMarking</td><td>0</td><td>0</td></tr></table> <h2>p7</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>initialMarking</td><td>0</td><td>0</td></tr></table> <h2>p8</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>initialMarking</td><td>0</td><td>0</td></tr></table> <h2>p5</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>initialMarking</td><td>0</td><td>0</td></tr></table>