文献

J-GLOBAL ID：200902153245833426   整理番号：97A0729674

コンカレント・コラボレーション技術 ペトリネットによるコンカレントシステムの効率的解析について

Multi-dimensional Mobile Information Network. Effecient Analysis of Concurrent Systems by Petri Nets.

著者 (1件)： 平石邦彦 (北陸先端科学技術大学院大)
資料名： 電子情報通信学会論文誌 A  (IEICE Transaction on Fundamentals of Electronics, Communications and Computer Sciences (Japan Edition))
巻： J80-A  号： 7  ページ： 1048-1055  発行年： 1997年07月 
JST資料番号： S0621A  ISSN： 0913-5707  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ペトリネットの解析方法は従来は構造的あるいは挙動的な条件によ...

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

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

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

引用文献 (30件)：

• AKERS, S. B. Binary decision diagrams. IEEE Trans. Computers. 1978, C27, 6, 509-516
• 青山幹雄. 高水準ペトリネットによるソフトウェア開発方法論. コンピュータソフトウェフ. 1994, 11, 4, 3-20
• BDOUEL, E. The synthesis problem for elementary net systems is NP-complete. INRIA Rapport de Recherche. 1995, N-2558
• BERTHELOT, G. Checking properties of nets unins transformations. Lecture Notes in Computer Science. 1985, 222, 19-40
• BOIGELOT, B. Symbolic verification with periodic sets. Lecture Notes in Computer Science. 1994, 818, 55-67

タイトルに関連する用語 (3件)： コラボレーション ,  ペトリネット ,  解析