文献

J-GLOBAL ID：200902139159247325   整理番号：01A1064748

ペトリネット不変量を計算するための二つのアルゴリズムの実験的評価

Concunrrent Systems Technology. Experimental Evaluation of Two Algorithms for Computing Petri Net Invariants.

著者 (4件)： TAKANO K (Hiroshima Univ., Higashihiroshima-shi, JPN) ,  TAOKA S (Hiroshima Univ., Higashihiroshima-shi, JPN) ,  YAMAUCHI M (Kinki Univ., Higashihiroshima-shi, JPN) ,  WATANABE T (Hiroshima Univ., Higashihiroshima-shi, JPN)
資料名： IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers)  (IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers))
巻： E84-A  号： 11  ページ： 2871-2880  発行年： 2001年11月01日 
JST資料番号： F0699C  ISSN： 0916-8508  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： ペトリネットNのプレイス-トランジション接続行列Aに対してY...

シソーラス用語： *Petriネット ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=01A1064748&from=J-GLOBAL&jstjournalNo=F0699C") }}

分類 (2件)： グラフ理論基礎  (IA02020S) ,  システムモデル  (IB02000Z)

引用文献 (14件)：

• MURATA, T. Petri nets: Properties, analysis and applications. Proc. IEEE. 1989, 77, 4, 541-580
• ONAGA, K. Basic properties of Petri net invariants and their computation. Petri Nets and their Application. 1992, 41-64
• MARTINEZ, J. A simple and fast algorithm to obtain all invariants of a generalized Petri net. Fachberichte Informatik. 1982, 52, 301-310
• SILVA, M. Convex geometry and semilows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. Advances in Petri Nets 1990. 1991, 79-112
• SARKAR, D. A new methodology for analyzing distributed systems modeled by Petri nets. International Journal of Computer Mathematics. 1989, 31, 3/4, 153-165

タイトルに関連する用語 (6件)： ペトリネット ,  不変量 ,  計算 ,  アルゴリズム ,  実験 ,  評価