1985年10月19日 シーケンス制御系のペトリネットによるモデル化と動作検証 電子通信学会技術研究報告 辻孝吉, 熊谷貞俊, 児玉慎三, HUANG S 記述言語 日本語 会議種別 リンク情報 URLhttp://jglobal.jst.go.jp/detail.php?from=API&JGLOBAL_ID=200902024128927059