講演抄録/キーワード |
講演名 |
2009-11-27 14:25
確率を用いたトークン滞留しない時間ペトリネットモデルのトランジション発火時間の決定法 ○三輪良雅(山口大)・李 晨(東大)・葛 崎偉・松野浩嗣(山口大) CAS2009-57 CST2009-30 |
抄録 |
(和) |
本稿では,ペトリネットのトランジションに発火遅延時間を導入した時間ペトリネットについて,トークン滞留しないという制約を加えたサブクラス``滞留なしペトリネット''を提案する.提案の滞留なしペトリネットに対し,個々のトランジションが満たすべき発火遅延時間の条件式を与え,その遅延時間を決定するアルゴリズムを示す.また,競合する複数のトランジションの発火について,確率を取り入れた解決手法の提案を行う. |
(英) |
In this paper, we introduce a new concept ``retention-free'' for timed Petri net, called retention-free Petri net, and give formulas of delay times that must be satisfied by the transitions in order to keep retention-freeness, i.e., guarantee smooth token flows without token retention at any places in the timed Petri net. Based on these formulas, we design an algorithm to determine delay time of each transition. And to solve conflict firing problem, we propose a resolution by introducing stochastic decision rules. |
キーワード |
(和) |
時間ペトリネット / 発火遅延時間 / 確率的決定手法 / 競合問題の解決 / IL-1シグナル伝達経路 / / / |
(英) |
timed Petri net / firing delay time / stochastic decision rule / conflict resolution / IL-1 signaling pathway / / / |
文献情報 |
信学技報, vol. 109, 2009年11月. |
資料番号 |
|
発行日 |
2009-11-19 (CAS, CST) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
CAS2009-57 CST2009-30 |