https://orsj-ml.org/orwiki/wiki/index.php?action=history&feed=atom&title=%E3%80%8A%E3%83%9A%E3%83%88%E3%83%AA%E3%83%8D%E3%83%83%E3%83%88%E3%80%8B 《ペトリネット》 - 版の履歴 2026-04-10T06:51:32Z このウィキのこのページに関する変更履歴 MediaWiki 1.35.3 https://orsj-ml.org/orwiki/wiki/index.php?title=%E3%80%8A%E3%83%9A%E3%83%88%E3%83%AA%E3%83%8D%E3%83%83%E3%83%88%E3%80%8B&diff=7880&oldid=prev 2007年8月6日 (月) 18:13にKuwashimaによる 2007-08-06T18:13:14Z <p></p> <table class="diff diff-contentalign-left diff-editfont-monospace" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="ja"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← 古い版</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">2007年8月6日 (月) 18:13時点における版</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l44" >44行目:</td> <td colspan="2" class="diff-lineno">44行目:</td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[1] 椎塚久雄, 『実例ペトリネット』, コロナ社, 1992.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[1] 椎塚久雄, 『実例ペトリネット』, コロナ社, 1992.</div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[category:シミュレーション|ぺとりねっと]]</ins></div></td></tr> </table> Kuwashima https://orsj-ml.org/orwiki/wiki/index.php?title=%E3%80%8A%E3%83%9A%E3%83%88%E3%83%AA%E3%83%8D%E3%83%83%E3%83%88%E3%80%8B&diff=5877&oldid=prev Orsjwiki: "《ペトリネット》" を保護しました。 [edit=sysop:move=sysop] 2007-07-19T13:48:27Z <p>&quot;《ペトリネット》&quot; を保護しました。 [edit=sysop:move=sysop]</p> <table class="diff diff-contentalign-left diff-editfont-monospace" data-mw="interface"> <tr class="diff-title" lang="ja"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← 古い版</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">2007年7月19日 (木) 13:48時点における版</td> </tr><tr><td colspan="2" class="diff-notice" lang="ja"><div class="mw-diff-empty">(相違点なし)</div> </td></tr></table> Orsjwiki https://orsj-ml.org/orwiki/wiki/index.php?title=%E3%80%8A%E3%83%9A%E3%83%88%E3%83%AA%E3%83%8D%E3%83%83%E3%83%88%E3%80%8B&diff=3339&oldid=prev 2007年7月12日 (木) 12:16に122.17.2.240による 2007-07-12T12:16:14Z <p></p> <table class="diff diff-contentalign-left diff-editfont-monospace" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="ja"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← 古い版</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">2007年7月12日 (木) 12:16時点における版</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l3" >3行目:</td> <td colspan="2" class="diff-lineno">3行目:</td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>　[[ペトリネット]]は, 1962年C.A.Petriによって, 非同期的でかつ並列的にふるまうシステムに対して, その中の情報の流れや制御を記述し解析するために考えだされたものである. ペトリネットはいくつかの事象が並列的に発生する中で, それらの発生の順序, 頻度などにある制約が与えられているようなシステムをモデル化するために用いられてきた. 離散事象システムの特徴は, 事象生起の並行性, 非同期性, および非決定性にあり, ペトリネットはこのような特徴持ったシステムを条件(condition)と事象(event)を基本としてモデル化し, 数学的解析を可能にする. ペトリネットでは条件をプレースと呼ばれる丸印&quot;○&quot;で表し, 事象をトランジションと呼ばれる棒&quot;｜&quot;で表す. したがって, ペトリネットは有向枝をもつ2部グラフ(bipartite graph)の構造を有している.  </div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>　[[ペトリネット]]は, 1962年C.A.Petriによって, 非同期的でかつ並列的にふるまうシステムに対して, その中の情報の流れや制御を記述し解析するために考えだされたものである. ペトリネットはいくつかの事象が並列的に発生する中で, それらの発生の順序, 頻度などにある制約が与えられているようなシステムをモデル化するために用いられてきた. 離散事象システムの特徴は, 事象生起の並行性, 非同期性, および非決定性にあり, ペトリネットはこのような特徴持ったシステムを条件(condition)と事象(event)を基本としてモデル化し, 数学的解析を可能にする. ペトリネットでは条件をプレースと呼ばれる丸印&quot;○&quot;で表し, 事象をトランジションと呼ばれる棒&quot;｜&quot;で表す. したがって, ペトリネットは有向枝をもつ2部グラフ(bipartite graph)の構造を有している.  </div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>　ペトリネットの実行はプレースに置かれたマーク(これをトークンと呼ぶ)の位置とその動きによって制御される. トークンは黒丸(<del class="diffchange diffchange-inline">$</del>&lt;math&gt;\bullet&lt;/math&gt;<del class="diffchange diffchange-inline">$</del>)で表し, プレースの中に置く. プレースにトークンを割り当てることをマーキングという. 一般にペトリネットでは, システムの初期の状態を表すのに初期マーキングが割り当てられている. トークンの動きは発火規則に従っている. 図1にはペトリネットの要素と発火規則の適用例を示す. トークンがペトリネット内を動き回る様子, すなわち状態遷移はボードを使うゲームに似ていて, それは次のような規則に従っている.  </div></td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>　ペトリネットの実行はプレースに置かれたマーク(これをトークンと呼ぶ)の位置とその動きによって制御される. トークンは黒丸(&lt;math&gt;\bullet<ins class="diffchange diffchange-inline">\, </ins>&lt;/math&gt;)で表し, プレースの中に置く. プレースにトークンを割り当てることをマーキングという. 一般にペトリネットでは, システムの初期の状態を表すのに初期マーキングが割り当てられている. トークンの動きは発火規則に従っている. 図1にはペトリネットの要素と発火規則の適用例を示す. トークンがペトリネット内を動き回る様子, すなわち状態遷移はボードを使うゲームに似ていて, それは次のような規則に従っている.  </div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l11" >11行目:</td> <td colspan="2" class="diff-lineno">11行目:</td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>(3)　トランジションが発火すると, その入力プレースからトークンを取り除き, 新しいトークンを生成してそれを出力プレースに置く(図1(c)).  </div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>(3)　トランジションが発火すると, その入力プレースからトークンを取り除き, 新しいトークンを生成してそれを出力プレースに置く(図1(c)).  </div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">&lt;center&gt;&lt;table&gt;&lt;tr&gt;&lt;td align=center&gt;[[画像:0111-petrinet-new.png|center|図１]]&lt;/td&gt;&lt;/tr&gt;</ins></div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">&lt;td align=center&gt;図１&lt;/td&gt;&lt;/table&gt;&lt;/center&gt;</ins></div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> </table> 122.17.2.240 https://orsj-ml.org/orwiki/wiki/index.php?title=%E3%80%8A%E3%83%9A%E3%83%88%E3%83%AA%E3%83%8D%E3%83%83%E3%83%88%E3%80%8B&diff=2959&oldid=prev 2007年7月12日 (木) 04:27に122.17.2.240による 2007-07-12T04:27:25Z <p></p> <table class="diff diff-contentalign-left diff-editfont-monospace" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="ja"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← 古い版</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">2007年7月12日 (木) 04:27時点における版</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l3" >3行目:</td> <td colspan="2" class="diff-lineno">3行目:</td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>　[[ペトリネット]]は, 1962年C.A.Petriによって, 非同期的でかつ並列的にふるまうシステムに対して, その中の情報の流れや制御を記述し解析するために考えだされたものである. ペトリネットはいくつかの事象が並列的に発生する中で, それらの発生の順序, 頻度などにある制約が与えられているようなシステムをモデル化するために用いられてきた. 離散事象システムの特徴は, 事象生起の並行性, 非同期性, および非決定性にあり, ペトリネットはこのような特徴持ったシステムを条件(condition)と事象(event)を基本としてモデル化し, 数学的解析を可能にする. ペトリネットでは条件をプレースと呼ばれる丸印&quot;○&quot;で表し, 事象をトランジションと呼ばれる棒&quot;｜&quot;で表す. したがって, ペトリネットは有向枝をもつ2部グラフ(bipartite graph)の構造を有している.  </div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>　[[ペトリネット]]は, 1962年C.A.Petriによって, 非同期的でかつ並列的にふるまうシステムに対して, その中の情報の流れや制御を記述し解析するために考えだされたものである. ペトリネットはいくつかの事象が並列的に発生する中で, それらの発生の順序, 頻度などにある制約が与えられているようなシステムをモデル化するために用いられてきた. 離散事象システムの特徴は, 事象生起の並行性, 非同期性, および非決定性にあり, ペトリネットはこのような特徴持ったシステムを条件(condition)と事象(event)を基本としてモデル化し, 数学的解析を可能にする. ペトリネットでは条件をプレースと呼ばれる丸印&quot;○&quot;で表し, 事象をトランジションと呼ばれる棒&quot;｜&quot;で表す. したがって, ペトリネットは有向枝をもつ2部グラフ(bipartite graph)の構造を有している.  </div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>　ペトリネットの実行はプレースに置かれたマーク(これをトークンと呼ぶ)の位置とその動きによって制御される. トークンは黒丸($\bullet$)で表し, プレースの中に置く. プレースにトークンを割り当てることをマーキングという. 一般にペトリネットでは, システムの初期の状態を表すのに初期マーキングが割り当てられている. トークンの動きは発火規則に従っている. 図1にはペトリネットの要素と発火規則の適用例を示す. トークンがペトリネット内を動き回る様子, すなわち状態遷移はボードを使うゲームに似ていて, それは次のような規則に従っている.  </div></td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>　ペトリネットの実行はプレースに置かれたマーク(これをトークンと呼ぶ)の位置とその動きによって制御される. トークンは黒丸($<ins class="diffchange diffchange-inline">&lt;math&gt;</ins>\bullet<ins class="diffchange diffchange-inline">&lt;/math&gt;</ins>$)で表し, プレースの中に置く. プレースにトークンを割り当てることをマーキングという. 一般にペトリネットでは, システムの初期の状態を表すのに初期マーキングが割り当てられている. トークンの動きは発火規則に従っている. 図1にはペトリネットの要素と発火規則の適用例を示す. トークンがペトリネット内を動き回る様子, すなわち状態遷移はボードを使うゲームに似ていて, それは次のような規則に従っている.  </div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> </table> 122.17.2.240 https://orsj-ml.org/orwiki/wiki/index.php?title=%E3%80%8A%E3%83%9A%E3%83%88%E3%83%AA%E3%83%8D%E3%83%83%E3%83%88%E3%80%8B&diff=1940&oldid=prev 122.26.167.76: 新しいページ: ''''【ぺとりねっと (Petri net) 】''' 　ペトリネットは, 1962年C.A.Petriによって, 非同期的でかつ並列的にふるまうシステムに対して, ...' 2007-07-07T21:04:31Z <p>新しいページ: &#039;&#039;&#039;&#039;【ぺとりねっと (Petri net) 】&#039;&#039;&#039; 　<a href="/orwiki/wiki/index.php?title=%E3%83%9A%E3%83%88%E3%83%AA%E3%83%8D%E3%83%83%E3%83%88" title="ペトリネット">ペトリネット</a>は, 1962年C.A.Petriによって, 非同期的でかつ並列的にふるまうシステムに対して, ...&#039;</p> <p><b>新規ページ</b></p><div>'''【ぺとりねっと (Petri net) 】'''<br /> <br /> 　[[ペトリネット]]は, 1962年C.A.Petriによって, 非同期的でかつ並列的にふるまうシステムに対して, その中の情報の流れや制御を記述し解析するために考えだされたものである. ペトリネットはいくつかの事象が並列的に発生する中で, それらの発生の順序, 頻度などにある制約が与えられているようなシステムをモデル化するために用いられてきた. 離散事象システムの特徴は, 事象生起の並行性, 非同期性, および非決定性にあり, ペトリネットはこのような特徴持ったシステムを条件(condition)と事象(event)を基本としてモデル化し, 数学的解析を可能にする. ペトリネットでは条件をプレースと呼ばれる丸印&quot;○&quot;で表し, 事象をトランジションと呼ばれる棒&quot;｜&quot;で表す. したがって, ペトリネットは有向枝をもつ2部グラフ(bipartite graph)の構造を有している. <br /> <br /> 　ペトリネットの実行はプレースに置かれたマーク(これをトークンと呼ぶ)の位置とその動きによって制御される. トークンは黒丸($\bullet$)で表し, プレースの中に置く. プレースにトークンを割り当てることをマーキングという. 一般にペトリネットでは, システムの初期の状態を表すのに初期マーキングが割り当てられている. トークンの動きは発火規則に従っている. 図1にはペトリネットの要素と発火規則の適用例を示す. トークンがペトリネット内を動き回る様子, すなわち状態遷移はボードを使うゲームに似ていて, それは次のような規則に従っている. <br /> <br /> <br /> (1)　トークンはペトリネットのトランジションを発火(firing)させることによりネット内を移動する. <br /> <br /> (2)　トランジションを発火させるためにはトランジションが発火可能(enable)でなければならない. トランジションのすべての入力プレースにトークンがあるとき, そのトランジションは発火可能である(図1(b)). <br /> <br /> (3)　トランジションが発火すると, その入力プレースからトークンを取り除き, 新しいトークンを生成してそれを出力プレースに置く(図1(c)). <br /> <br /> <br /> 　ところで, 条件が成立しているということは, すべての入力プレース内にトークンがあり, そのトランジションは発火可能の状態, すなわち事象が生起する状態になっていることを意味する. このように, トークンがペトリネット内を発火規則に従って動き回る様子は, ペトリネットの動的な性質を表している. <br /> <br /> 　さらに複雑な発火規則を定めることによっていろいろな動的な動作をモデル化することができる. <br /> <br /> 　ペトリネットによってシステムをモデル化し, そのモデルに基づいてシステムを解析しようとするとき, 一般的には, システムが支障なく所定の動作を行うために必要な基本的要件として, 次の3つが考えられる. <br /> <br /> <br /> (1)　モデル化したペトリネットは発散しないか. すなわち, おのおののプレースのトークン数はトランジションの発火によってつねに有界であるか. <br /> <br /> (2)　ある初期状態から目標状態へ移行する発火系列が存在するか. すなわち, マーキングのある初期状態からスタートして発火可能なトランジションを発火させ, 目標マーキングに到達できるか. <br /> <br /> (3)　モデルがデッドロックに陥ることはないか. すなわち, トランジションが発火できないようなマーキングがあるか. <br /> <br /> <br /> 　これら3つの性質をペトリネットが有しているか否かを判定する問題は, ペトリネットの基本問題として知られている. そして, これらはそれぞれ&quot;有界性問題&quot;, &quot;可到達問題&quot;, &quot;活性問題&quot;と呼ばれている. <br /> <br /> 　ペトリネットはいろいろな分野で応用されている. トランジションが発火可能であっても一定時間その発火を遅らせることで, 発火規則に時間遅れの概念を導入することができる. このようなペトリネットは時間ペトリネット(timed Petri net)と呼ばれている. さらに, 時間ペトリネットはシステムの確率的な事象の表現と解析を行うために拡張され, トランジションが発火可能になってから発火を開始するまでの時間を連続の確率分布をもつような確率変数で定義する確率ペトリネット(stochastic Petri net)も提案されている. <br /> <br /> 　ペトリネットを線形代数的な観点から考察する方法として, ネットインバリアント(net invariant)の概念がある [1] . ペトリネットモデルを用いてシステムの性質を調べようとするとき, そのモデルの規模が大きくなった場合は, そのペトリネットモデルを数学的な手段で解析することが困難になる場合がある. そのような場合はコンピュータを用いたシミュレーションによる解析が適している [1]. <br /> <br /> <br /> <br /> ----<br /> <br /> '''参考文献'''<br /> <br /> [1] 椎塚久雄, 『実例ペトリネット』, コロナ社, 1992.</div> 122.26.167.76