Koji Ide

Learn More
Petri nets are a graphical and mathematical modeling tool used for discrete event systems. Our research group has developed HiPS, which is a tool for the design and analysis of Petri nets. HiPS has some analysis capabilities, such as T-invariant analysis, but is missing the ability to analyze some important properties. In this research, we propose and(More)
  • 1