文献
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)