シーケンス制御システムの設計検証へのペトリネット応用

論文・著書情報

タイトル

和文:	シーケンス制御システムの設計検証へのペトリネット応用
英文:	Design Verification of Sequential Control Systems using Petri Net

著者

和文:	奥田誠, 水矢亨, 長尾達明, 宮澤以鋼, 高橋宏治.
英文:	奥田誠, 水矢亨, 長尾達明, 宮澤以鋼, Koji Takahashi.

言語

Japanese

掲載誌/書名

和文:	平成26年電気学会電子・情報・システム部門大会講演論文集
英文:

巻, 号, ページ

OS4-7

出版年月

2014年9月3日

出版者

和文:	電気学会
英文:

会議名称

和文:	平成26年電気学会電子・情報・システム部門大会
英文:

開催地

和文:	松江市
英文: