@article{oai:nagoya.repo.nii.ac.jp:00013070, author = {ITO, Takashi and HASHIZUME, Susumu and YAJIMA, Tomoyuki and ONOGI, Katsuaki}, issue = {11}, journal = {IEICE transactions on fundamentals of electronics, communications and computer sciences}, month = {Nov}, note = {A batch process is a discontinuous and concurrent process which is suitable for multi-product, small-sized production. The distinctive feature of a batch process is that various decision making processes, such as scheduling, design, operation, etc. are strongly connected with each other. Interaction among these processes is necessary to dynamically and flexibly cope with a variety of unplanned events. This paper aims at presenting a batch scheduling technique based on Petri net models and showing the possibilities of integration between scheduling and design of batch processes. For this purpose, it first views the behavior of a batch operating system as a discrete event system and presents a Petri net model to be used for scheduling, design and operation. It next formulates batch scheduling problems based on Petri net partial languages, proposes their solution technique and last discusses the integration between scheduling and design of batch systems.}, pages = {2989--2998}, title = {Integration between Scheduling and Design of Batch Systems Based on Petri Net Models}, volume = {E88-A}, year = {2005} }