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

研究关键词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