OpenAIRE is about to release its new face with lots of new content and services.
During September, you may notice downtime in services, while some functionalities (e.g. user registration, login, validation, claiming) will be temporarily disabled.
We apologize for the inconvenience, please stay tuned!
For further information please contact helpdesk[at]

fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
YAJIMA, Tomoyuki; ITO, Takashi; HASHIZUME, Susumu; KURIMOTO, Hidekazu; ONOGI, Katsuaki (2004)
Publisher: Institute of Electronics, Information and Communication Engineers
Journal: IEICE transactions on fundamentals of electronics, communications and computer sciences
Languages: English
Types: Article
Subjects: batch control, discrete event system, concurrent system, hierarchical Petri net
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.
  • No references.
  • No related research data.
  • No similar publications.

Share - Bookmark

Download from

Cite this article

Collected from

Cookies make it easier for us to provide you with our services. With the usage of our services you permit us to use cookies.
More information Ok