Tsuyoshi Kodama

Learn More
This paper describes a modeling and analyzing method for batch sequential control systems by using colored Petri net (CPN) model. For this purpose, we propose systematic procedures to create CPN model from a various information based on ISA S88, i.e., master recipe, equipment information and batch schedule. To examine the effectiveness of the proposed(More)
  • 1