WEKO3
アイテム
Control of Batch Processes Based on Hierarchical Petri Nets
http://hdl.handle.net/2237/14963
http://hdl.handle.net/2237/14963f45ec64a-8587-49f7-bef8-7891656bcea2
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
374.pdf (747.8 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2011-06-28 | |||||
| タイトル | ||||||
| タイトル | Control of Batch Processes Based on Hierarchical Petri Nets | |||||
| 言語 | en | |||||
| 著者 |
YAJIMA, Tomoyuki
× YAJIMA, Tomoyuki× ITO, Takashi× HASHIZUME, Susumu× KURIMOTO, Hidekazu× ONOGI, Katsuaki |
|||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 権利 | ||||||
| 言語 | en | |||||
| 権利情報 | Copyright (C) 2004 IEICE | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | batch control | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | discrete event system | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | concurrent system | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | hierarchical Petri net | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 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. | |||||
| 言語 | en | |||||
| 出版者 | ||||||
| 出版者 | Institute of Electronics, Information and Communication Engineers | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| 出版タイプ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 関連情報 | ||||||
| 関連タイプ | isVersionOf | |||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://www.ieice.org/jpn/trans_online/index.html | |||||
| ISSN | ||||||
| 収録物識別子タイプ | PISSN | |||||
| 収録物識別子 | 0916-8508 | |||||
| 書誌情報 |
en : IEICE transactions on fundamentals of electronics, communications and computer sciences 巻 E87-A, 号 11, p. 2895-2904, 発行日 2004-11-01 |
|||||
| 著者版フラグ | ||||||
| 値 | publisher | |||||
| URI | ||||||
| 識別子 | http://www.ieice.org/jpn/trans_online/index.html | |||||
| 識別子タイプ | URI | |||||
| URI | ||||||
| 識別子 | http://hdl.handle.net/2237/14963 | |||||
| 識別子タイプ | HDL | |||||
