愛知県立大学 · 情報科学部 / 情報科学研究科

研究キーワードdiscrete event system・離散事象システム

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• ペトリネットの活性が即時発火規則のもとで保存されるサブクラスについて
• On liveness of time POC nets with the static fair condition
• An algebraic criterion for state machine allocatable nets
• POC NET, A SUBCLASS OF PETRI NETS, AND ITS APPLICATION TO TIMED PETRI NETS

• Study on Analysis of Petri Nets
• ペトリネットの解析に関する研究

• 公式プロフィール
• ORCID