DSpace

Future University Hakodate Academic Archive >
研究者 >
情報アーキテクチャ学科 >
大場 みち子 >

このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/10445/5444

タイトル: ペトリネットによる制御用ルールの検証
著者: 村田, 智洋
薦田, 憲久
大場, みち子
アブストラクト: 制御ルールの完全性をペトリネットモデルの状態遷移を利用して検証する方式を提案した。
研究業績種別: 国内学会/Domestic Conference
資料種別: Conference Paper
単著共著: 共著/joint
開始ページ: 829
終了ページ: 832
年月日: 1984年1月
出現コレクション:大場 みち子

ファイルダウンロード:

このコンテンツにファイルはありません。

このアーカイブに登録されているコンテンツはすべて著作権により保護されています。
著作権を遵守の上、ご利用ください。

 

Copyright © 2010-2012 FUTURE UNIVERSITY HAKODATE.
Powered by DSpace Software Copyright © 2002-2007 MIT and Hewlett-Packard