モデル検査を用いたペトリネットの解析の一手法

平成25年度　電気関係学会東北支部連合大会　講演論文集

セッションID: 1E06

会議情報

主催: 電気学会, 電子情報通信学会, 照明学会, 日本音響学会, 映像情報メディア学会, 情報処理学会, 電気設備学会（各東北支部）, IEEE SENDAI SECTION

座長：渡辺　曜大（会津大学）

モデル検査を用いたペトリネットの解析の一手法

著者情報

会議録・要旨集フリー

詳細