文献

J-GLOBAL ID：200902164048296860   整理番号：94A0158610

ペトリネットの部分クラスにおける同時発火可能性

Concurrent Firability of Transitions on Restricted Petri Net.

著者 (3件)： 高橋正毅 (大阪大 基礎工) ,  荒木俊郎 (大阪大 基礎工) ,  柏原敏伸 (大阪大 基礎工)
資料名： 電子情報通信学会論文誌 D-1  (IEICE Transactions on Information and Systems, Pt.1 (Japanese Edition))
巻： 77  号： 1  ページ： 1-11  発行年： 1994年01月 
JST資料番号： S0757B  ISSN： 0915-1915  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 並列性を有するシステムにおいて,ある特定の事象が同時発生する...

シソーラス用語： Petriネット ,...
準シソーラス用語： 計算の複雑さ ,...

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

分類 (1件)： 計算理論  (JB02000A)

引用文献 (7件)：

• MURATA, T. Petri Nets : Properties, Analysis and Applications. Proc. IEEE. 1989, 77,4, 541-580
• YEN, H. C. A polynomial time algorithm to decide pairwise cincurrency of transitions for 1-bounded conflick-free Petri nets. Inf Process Lett. 1991, 38, 71-76
• EVEN, S. Graph Algorithms. 1979
• LEN, D. J. Proerties and applications of the token distance matrix of a marked graph. Proc. 1984 IEEE Int. Symp. Circuits Syst. 1984, 3, 1381-1385
• HOPCROFT, J. E. An n^<5/2> algorithm for maximum matchings in bipartie graphs. SIAM J. Comput. 1973, 2, 225-231

タイトルに関連する用語 (4件)： ペトリネット ,  クラス ,  発火 ,  可能性