本棚.org

Scrapbox

ペトリネットの理論と実践 (システム制御情報ライブラリー)	sg1 Hoxy
形式的モデル化: 離散事象/実時間/ハイブリッドシステムのモデル化と解析	kuwa