|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/4689
|
| タイトル: | An Algorithm for Legal Firing Sequence Problem of Petri Nets Based on Partial Order Method |
| 著者: | HIRAISHI, Kunihiko
TANAKA, Hirohide |
| キーワード: | Petri net
legal firing sequence problem
partial order methods
stubborn sets
state space explosion |
| 発行日: | 2001-11-01 |
| 出版者: | 電子情報通信学会 |
| 誌名: | IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences |
| 巻: | E84-A |
| 号: | 11 |
| 開始ページ: | 2881 |
| 終了ページ: | 2884 |
| 抄録: | The legal firing sequence problem of Petri nets (LFS) is one of fundamental problems in the analysis of Petri nets, because it appears as a subproblem of various basic problems. Since LFS is shown to be NP-hard, various heuristics has been proposed to solve the problem of practical size in a reasonable time. In this paper, we propose a new algorithm for this problem. It is based on the partial order verification technique, and reduces redundant branches in the search tree. Moreover, the proposed algorithm can be combined with various types of heuristics. |
| Rights: | Copyright (C)2001 IEICE. Kunihiko Hiraishi and Hirohide Tanaka, IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, E84-A(11), 2001, 2881-2884. http://www.ieice.org/jpn/trans_online/ |
| URI: | http://hdl.handle.net/10119/4689 |
| 資料タイプ: | publisher |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 1384.pdf | | 210Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
