文献

J-GLOBAL ID：200902086801528655   整理番号：91A0908211

色付きPetriネットによる分布データの誤り回復仕様の検証

Special Issue on Petri Nets and Discrete Event Systems. Verification of Error Recovery Specification for Distributed Data by Using Colored Petri Nets.

著者 (3件)： AKATSU M (Hitachi, Ltd., Kawasaki-shi, JPN) ,  MURATA T (Hitachi, Ltd., Kawasaki-shi, JPN) ,  KURIHARA K (Hitachi, Ltd., Kawasaki-shi, JPN)
資料名： IEICE Transactions (Institute of Electronics, Information and Communication Engineers)  (IEICE Transactions (Institute of Electronics, Information and Communication Engineers))
巻： E74  号： 10  ページ： 3159-3167  発行年： 1991年10月 
JST資料番号： F0699B  ISSN： 0917-1673  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： データの新鮮性の概念を利用する色付きPetriネットによる分...

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

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

分類 (1件)： 記憶装置  (JC04060F)

タイトルに関連する用語 (5件)： 色付きPetriネット ,  分布 ,  誤り回復 ,  仕様 ,  検証