WEKO3
アイテム
{"_buckets": {"deposit": "f0adb77f-4e02-4c61-837a-f14803ad2a9a"}, "_deposit": {"created_by": 17, "id": "397", "owners": [17], "pid": {"revision_id": 0, "type": "depid", "value": "397"}, "status": "published"}, "_oai": {"id": "oai:nagano-nct.repo.nii.ac.jp:00000397", "sets": ["28"]}, "author_link": ["943", "946", "944", "945"], "item_2_alternative_title_1": {"attribute_name": "その他(別言語等)のタイトル", "attribute_value_mlt": [{"subitem_alternative_title": "Logical Coloured Petri Net expanded to be suitable for making the Control System Model"}]}, "item_2_biblio_info_7": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "1995-12-28", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "25", "bibliographicPageStart": "17", "bibliographicVolumeNumber": "29", "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-net) suitable for control systems design and discuss its methods of evaluation. This LC-net 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 LC-net is a extended Petri nets which solve a problem of description from Place/Transition Petri nets (PNs) and Colored Petri nets (CPNs) 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": "和崎, 克己"}], "nameIdentifiers": [{"nameIdentifier": "943", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "不破, 泰"}], "nameIdentifiers": [{"nameIdentifier": "944", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "江口, 正義"}], "nameIdentifiers": [{"nameIdentifier": "945", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "中村, 八束"}], "nameIdentifiers": [{"nameIdentifier": "946", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2013-02-19"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "nagano_nct-29-03.pdf", "filesize": [{"value": "429.3 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_11", "mimetype": "application/pdf", "size": 429300.0, "url": {"label": "nagano_nct-29-03.pdf", "url": "https://nagano-nct.repo.nii.ac.jp/record/397/files/nagano_nct-29-03.pdf"}, "version_id": "171651d6-fbbc-4174-a3cc-defc6b78ee7c"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "departmental bulletin paper", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "制御システムのモデル化に適するように拡張した論理カラーペトリネット", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "制御システムのモデル化に適するように拡張した論理カラーペトリネット"}]}, "item_type_id": "2", "owner": "17", "path": ["28"], "permalink_uri": "https://nagano-nct.repo.nii.ac.jp/records/397", "pubdate": {"attribute_name": "公開日", "attribute_value": "2013-02-19"}, "publish_date": "2013-02-19", "publish_status": "0", "recid": "397", "relation": {}, "relation_version_is_last": true, "title": ["制御システムのモデル化に適するように拡張した論理カラーペトリネット"], "weko_shared_id": -1}
制御システムのモデル化に適するように拡張した論理カラーペトリネット
https://nagano-nct.repo.nii.ac.jp/records/397
https://nagano-nct.repo.nii.ac.jp/records/3977eb66c87-92e6-49b4-bd27-28ce8cc77c80
名前 / ファイル | ライセンス | アクション |
---|---|---|
nagano_nct-29-03.pdf (429.3 kB)
|
Item type | Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2013-02-19 | |||||
タイトル | ||||||
タイトル | 制御システムのモデル化に適するように拡張した論理カラーペトリネット | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | departmental bulletin paper | |||||
その他(別言語等)のタイトル | ||||||
その他のタイトル | Logical Coloured Petri Net expanded to be suitable for making the Control System Model | |||||
著者 |
和崎, 克己
× 和崎, 克己× 不破, 泰× 江口, 正義× 中村, 八束 |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | In this paper, we propose an extension of Petri nets (LC-net) suitable for control systems design and discuss its methods of evaluation. This LC-net 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 LC-net is a extended Petri nets which solve a problem of description from Place/Transition Petri nets (PNs) and Colored Petri nets (CPNs) before. | |||||
書誌情報 |
長野工業高等専門学校紀要 巻 29, p. 17-25, 発行日 1995-12-28 |
|||||
出版者 | ||||||
出版者 | 長野工業高等専門学校 | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 0286-1909 | |||||
書誌レコードID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AN00179170 | |||||
フォーマット | ||||||
内容記述タイプ | Other | |||||
内容記述 | application | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 |