計測自動制御学会システム・情報部門学術講演会講演論文集(CD-ROM) について
Petriネット について
離散系 について
実時間処理 について
トークン について
接続行列 について
ネットワーク構造 について
十分条件 について
移動 について
同期制御 について
時間付きPetriネット について
状態遷移 について
離散事象系 について
連立不等式 について
計算理論 について
システムモデル について
オペレーティングシステム について
ペトリネット について
滞留 について