Aichi Prefectural University · Faculty of Information Science / Graduate School of Information Science

Research keywordsdiscrete event system・離散事象システム

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• ペトリネットの活性が即時発火規則のもとで保存されるサブクラスについて
• 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
• ペトリネットの解析に関する研究

• Official profile
• ORCID