Control of Batch Processes Based on Hierarchical Petri Nets
スポンサーリンク
概要
- 論文の詳細を見る
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.
- 社団法人電子情報通信学会の論文
- 2004-11-01
著者
-
Onogi K
Department Of Chemical Engineering Graduate School Of Engineering Nagoya University
-
Ito T
Department Of Chemical Engineering Graduate School Of Engineering Nagoya University
-
HASHIZUME Susumu
Department of Chemical Engineering, Graduate School of Engineering, Nagoya University
-
YAJIMA Tomoyuki
Department of Chemical Engineering, Graduate School of Engineering, Nagoya University
-
YAJIMA Tomoyuki
the Department of Chemical Engineering, Nagoya University
-
ITO Takashi
the Department of Chemical Engineering, Nagoya University
-
HASHIZUME Susumu
the Department of Chemical Engineering, Nagoya University
-
KURIMOTO Hidekazu
the Department of Computer Science and Mathematical Informatics, Nagoya University
-
ONOGI Katsuaki
the Department of Chemical Engineering, Nagoya University
-
Kurimoto H
The Department Of Computer Science And Mathematical Informatics Nagoya University
-
Yajima Tomoyuki
Department Of Chemical Engineering Graduate School Of Engineering Nagoya University
-
Hashizume S
Department Of Chemical Engineering Graduate School Of Engineering Nagoya University
関連論文
- Seasonal Variation of Trace Element Loss to Sweat during Exercise in Males
- Concentrations of Trace Elements in Sweat during Sauna Bathing
- Silicon-Hydrogen Bonds in Silicon Native Oxides Formed during Wet Chemical Treatments
- Ti Salicide Process for Subquarter-Micron CMOS Devices (Special Issue on Quarter Micron Si Device and Process Technologies)
- Wafer Cleaning with Photoexcited Chlorine and Thermal Treatment for High-Quality silicon Epitaxy : Beam Induced Physics and Chemistry
- A Systematic Study on the Complexation of Quaternary Ammonium Salts and Neutral Phenols
- A variety of lipophilic amines incorporated in liquid membranes exhibit potentiometric responses to neutral phenols
- High-Speed SOI Bipolar Transistors Using Bonding and Thinning Techniques
- Chemical Structures of Native Oxides Formed during Wet Chemical Treatments
- Achieving High Current Gain and Low Emitter Resistance with the SiC_x:F Widegap Emitter
- Building of Observers to Detect Faults for Batch Processes Based on Discrete Event Systems Approaches
- Integration between Scheduling and Design of Batch Systems Based on Petri Net Models
- Control of Batch Processes Based on Hierarchical Petri Nets
- Isolated Trochlear Nerve Palsy in Herpes Zoster Ophthalmicus