{"created":"2021-03-01T06:20:04.232051+00:00","id":13069,"links":{},"metadata":{"_buckets":{"deposit":"eb17a07b-3212-4b11-a767-9bf20dd55730"},"_deposit":{"id":"13069","owners":[],"pid":{"revision_id":0,"type":"depid","value":"13069"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00013069","sets":["320:321:322"]},"author_link":["41123","41124","41125","41126","41127"],"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2004-11-01","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"11","bibliographicPageEnd":"2904","bibliographicPageStart":"2895","bibliographicVolumeNumber":"E87-A","bibliographic_titles":[{"bibliographic_title":"IEICE transactions on fundamentals of electronics, communications and computer sciences","bibliographic_titleLang":"en"}]}]},"item_10_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"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.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_10_identifier_60":{"attribute_name":"URI","attribute_value_mlt":[{"subitem_identifier_type":"URI","subitem_identifier_uri":"http://www.ieice.org/jpn/trans_online/index.html"},{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/14963"}]},"item_10_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"Institute of Electronics, Information and Communication Engineers","subitem_publisher_language":"en"}]},"item_10_relation_43":{"attribute_name":"関連情報","attribute_value_mlt":[{"subitem_relation_type":"isVersionOf","subitem_relation_type_id":{"subitem_relation_type_id_text":"http://www.ieice.org/jpn/trans_online/index.html","subitem_relation_type_select":"URI"}}]},"item_10_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"Copyright (C) 2004 IEICE","subitem_rights_language":"en"}]},"item_10_select_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"publisher"}]},"item_10_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0916-8508","subitem_source_identifier_type":"PISSN"}]},"item_1615787544753":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"YAJIMA, Tomoyuki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"41123","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"ITO, Takashi","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"41124","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"HASHIZUME, Susumu","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"41125","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"KURIMOTO, Hidekazu","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"41126","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"ONOGI, Katsuaki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"41127","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-20"}],"displaytype":"detail","filename":"374.pdf","filesize":[{"value":"747.8 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"374.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/13069/files/374.pdf"},"version_id":"1fab6081-f808-4998-8ca7-59d2ada95bee"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"batch control","subitem_subject_scheme":"Other"},{"subitem_subject":"discrete event system","subitem_subject_scheme":"Other"},{"subitem_subject":"concurrent system","subitem_subject_scheme":"Other"},{"subitem_subject":"hierarchical Petri net","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Control of Batch Processes Based on Hierarchical Petri Nets","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Control of Batch Processes Based on Hierarchical Petri Nets","subitem_title_language":"en"}]},"item_type_id":"10","owner":"1","path":["322"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2011-06-28"},"publish_date":"2011-06-28","publish_status":"0","recid":"13069","relation_version_is_last":true,"title":["Control of Batch Processes Based on Hierarchical Petri Nets"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T04:00:11.560504+00:00"}