{"created":"2023-06-20T15:40:15.098289+00:00","id":344,"links":{},"metadata":{"_buckets":{"deposit":"4ee3c355-eb68-41d4-ae6f-211d34a8f63e"},"_deposit":{"created_by":17,"id":"344","owners":[17],"pid":{"revision_id":0,"type":"depid","value":"344"},"status":"published"},"_oai":{"id":"oai:nagano-nct.repo.nii.ac.jp:00000344","sets":["3:34"]},"author_link":["774","772","775","773"],"item_2_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1997-12-26","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"54","bibliographicPageStart":"49","bibliographicVolumeNumber":"31","bibliographic_titles":[{"bibliographic_title":"長野工業高等専門学校紀要"}]}]},"item_2_description_19":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application","subitem_description_type":"Other"}]},"item_2_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"In this paper, we propose an extension of Petri nets (LC-Petri net: LCPN) suitable for FMS design and discuss its methods of evaluation. This LCPN is a marked net with addition of the following features: data assignment of marks, representation of firing conditions as logic equations, coupling of output procedures with transition firing, etc. Also, since the concept of transition firing evaluation orders is omitted from the analysis of conventional Petri nets, we introduce this concept formally in our proposed net. Finally, in order to study the behavior of a system modelled with this net, we provide a means for searching the reachability tree of markings. This LCPN is a extended Petri nets which solve a problem of description from Place/Transition Petri nets and Colored Petri nets before.","subitem_description_type":"Abstract"}]},"item_2_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"長野工業高等専門学校"}]},"item_2_source_id_11":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00179170","subitem_source_identifier_type":"NCID"}]},"item_2_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0286-1909","subitem_source_identifier_type":"ISSN"}]},"item_2_version_type_20":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"WASAKI, Katsumi"}],"nameIdentifiers":[{"nameIdentifier":"772","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"FUWA, Yasushi"}],"nameIdentifiers":[{"nameIdentifier":"773","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"EGUCHI, Masayoshi"}],"nameIdentifiers":[{"nameIdentifier":"774","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"NAKAMURA, Yatsuka"}],"nameIdentifiers":[{"nameIdentifier":"775","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2013-02-19"}],"displaytype":"detail","filename":"nagano_nct-31-09.pdf","filesize":[{"value":"498.2 kB"}],"format":"application/pdf","licensetype":"license_11","mimetype":"application/pdf","url":{"label":"nagano_nct-31-09.pdf","url":"https://nagano-nct.repo.nii.ac.jp/record/344/files/nagano_nct-31-09.pdf"},"version_id":"f0f77bf9-8648-4554-9288-b86c011b9b1c"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"coloured Petri net","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"extended Petri net","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"control software","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"system stability","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"CASE tools","subitem_subject_language":"en","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"LC-Petri Net expanded to be suitable for making FMS model","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"LC-Petri Net expanded to be suitable for making FMS model","subitem_title_language":"en"}]},"item_type_id":"2","owner":"17","path":["34"],"pubdate":{"attribute_name":"公開日","attribute_value":"2013-02-19"},"publish_date":"2013-02-19","publish_status":"0","recid":"344","relation_version_is_last":true,"title":["LC-Petri Net expanded to be suitable for making FMS model"],"weko_creator_id":"17","weko_shared_id":-1},"updated":"2023-06-20T16:10:27.810426+00:00"}