文献
J-GLOBAL ID:201102269873068522
整理番号:11A1989412
Petriネットを使用した自動プログラム作成のための入出力条件
Input-Output Conditions for Automatic Program Generation Using Petri Nets
著者 (3件):
OSOGAMI Masahiro
(Fukui Univ. Technol., Fukui-pref., JPN)
,
YAMANISHI Teruya
(Fukui Univ. Technol., Fukui-pref., JPN)
,
UOSAKI Katsuji
(Fukui Univ. Technol., Fukui-pref., JPN)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
6881
ページ:
296-305
発行年:
2011年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
発行国:
ドイツ (DEU)
言語:
英語 (EN)