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.

This paper examines seasonal change of the true water area of Lake "Sakata" by using Polarimetric Synthetic Aperture Radar (POLSAR) image analysis. The true water area includes not only the body of water but also the water area under emerged-plants and/or floating-leave plants in the lake. Statistical POLSAR image analysis is carried out for both X- and L-band data, based on the three-component scattering power decomposition method, where the decomposed components are surface scattering, double-bounce scattering and volume scattering components. From the results of the image analysis for the L-band POLSAR data acquired by Pi-SAR system, it is found that strong double-bounce scattering can be observed at the vicinity of the boundary region between water area and the surrounding emerged-plants area in early and middle summer. This phenomenon is an important factor for environmental monitoring. To verify the generating mechanism of the double-bounce scattering, the Finite-Difference Time-Domain (FDTD) polarimetric scattering analysis is also executed for a simplified boundary model, which simulates the local boundary region around the lake and consists of lots of vertical thin dielectric pillars on a perfect electric conductor (PEC) plate or on a PEC and dielectric hybrid plate. Taking into account the polarimetric feature of the double-bounce scattering obtained by both the FDTD and POLSAR image analyses, one can distinguish the actual water area from the bush of the emerged-plants around the lake, even when the water area is concealed by emerged-plants and/or floating-leave plants. Consequently, it is found that by using the proposed approach, one can estimate the true water area seasonal change for the lake and the surrounding wetland.

A batch process is a typical concurrent system in which multiple interacting tasks are carried out in parallel on several batches at the same time. A major difficulty in designing a batch control system is the lack of modeling techniques. This paper aims at developing a method of constructing batch control system models in a hierarchical manner and operating batch processes using the constructed models. For this purpose, it first defines process and plant specifications described by partial languages, next presents a procedure for constructing hierarchical Petri net based models, and states the verification of models based on reachability analysis. It also discusses the detection of faults and conflicts in batch processes based on place-invariant analysis.