ログイン
言語:

WEKO3

  • トップ
  • コミュニティ
  • ランキング
AND
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "7c420d9e-611e-4f30-bedf-1a10b7cb26a2"}, "_deposit": {"id": "13068", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "13068"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00013068"}, "item_10_biblio_info_6": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "1996-12-21", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "12", "bibliographicPageEnd": "2195", "bibliographicPageStart": "2192", "bibliographicVolumeNumber": "E79-A", "bibliographic_titles": [{"bibliographic_title": "IEICE transactions on fundamentals of electronics, communications and computer sciences"}]}]}, "item_10_description_4": {"attribute_name": "\u6284\u9332", "attribute_value_mlt": [{"subitem_description": "This paper deals with the synthesis of Petri nets. Partial languages adequately represent the concurrent behaviors of Petri nets. We first propose a construction problem for Petri nets, in which the objective is to synthesize a Petri net to exhibit the desired behavior specified as a partial language. We next discuss the solvability of this problem and last present the cutline of a solution technique.", "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/14962"}]}, "item_10_publisher_32": {"attribute_name": "\u51fa\u7248\u8005", "attribute_value_mlt": [{"subitem_publisher": "Institute of Electronics, Information and Communication Engineers"}]}, "item_10_rights_12": {"attribute_name": "\u6a29\u5229", "attribute_value_mlt": [{"subitem_rights": "Copyright (C) 1996 IEICE"}]}, "item_10_select_15": {"attribute_name": "\u8457\u8005\u7248\u30d5\u30e9\u30b0", "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": "ISSN"}]}, "item_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "HASHIZUME, Susumu"}], "nameIdentifiers": [{"nameIdentifier": "41118", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "MITSUYAMA, Yasushi"}], "nameIdentifiers": [{"nameIdentifier": "41119", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "MATSUTANI, Yutaka"}], "nameIdentifiers": [{"nameIdentifier": "41120", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "ONOGI, Katsuaki"}], "nameIdentifiers": [{"nameIdentifier": "41121", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "NISHIMURA, Yoshiyuki"}], "nameIdentifiers": [{"nameIdentifier": "41122", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "\u30d5\u30a1\u30a4\u30eb\u60c5\u5831", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-20"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "373.pdf", "filesize": [{"value": "260.5 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 260500.0, "url": {"label": "373.pdf", "url": "https://nagoya.repo.nii.ac.jp/record/13068/files/373.pdf"}, "version_id": "83f2620e-c9ef-4ed6-b12f-602e5ebeff09"}]}, "item_keyword": {"attribute_name": "\u30ad\u30fc\u30ef\u30fc\u30c9", "attribute_value_mlt": [{"subitem_subject": "Petri net", "subitem_subject_scheme": "Other"}, {"subitem_subject": "partial language", "subitem_subject_scheme": "Other"}, {"subitem_subject": "synthesis", "subitem_subject_scheme": "Other"}, {"subitem_subject": "concurrency", "subitem_subject_scheme": "Other"}, {"subitem_subject": "abstraction", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "\u8a00\u8a9e", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "\u8cc7\u6e90\u30bf\u30a4\u30d7", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "Construction of Petri Nets from a Given Partial Language", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "Construction of Petri Nets from a Given Partial Language"}]}, "item_type_id": "10", "owner": "1", "path": ["320/321/322"], "permalink_uri": "http://hdl.handle.net/2237/14962", "pubdate": {"attribute_name": "\u516c\u958b\u65e5", "attribute_value": "2011-06-28"}, "publish_date": "2011-06-28", "publish_status": "0", "recid": "13068", "relation": {}, "relation_version_is_last": true, "title": ["Construction of Petri Nets from a Given Partial Language"], "weko_shared_id": null}
  1. B200 工学部/工学研究科
  2. B200a 雑誌掲載論文
  3. 学術雑誌

Construction of Petri Nets from a Given Partial Language

http://hdl.handle.net/2237/14962
73d03819-eefe-4dd5-9a4a-2a24fd71f2a2
名前 / ファイル ライセンス アクション
373.pdf 373.pdf (260.5 kB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2011-06-28
タイトル
タイトル Construction of Petri Nets from a Given Partial Language
著者 HASHIZUME, Susumu

× HASHIZUME, Susumu

WEKO 41118

HASHIZUME, Susumu

Search repository
MITSUYAMA, Yasushi

× MITSUYAMA, Yasushi

WEKO 41119

MITSUYAMA, Yasushi

Search repository
MATSUTANI, Yutaka

× MATSUTANI, Yutaka

WEKO 41120

MATSUTANI, Yutaka

Search repository
ONOGI, Katsuaki

× ONOGI, Katsuaki

WEKO 41121

ONOGI, Katsuaki

Search repository
NISHIMURA, Yoshiyuki

× NISHIMURA, Yoshiyuki

WEKO 41122

NISHIMURA, Yoshiyuki

Search repository
権利
権利情報 Copyright (C) 1996 IEICE
キーワード
主題Scheme Other
主題 Petri net
キーワード
主題Scheme Other
主題 partial language
キーワード
主題Scheme Other
主題 synthesis
キーワード
主題Scheme Other
主題 concurrency
キーワード
主題Scheme Other
主題 abstraction
抄録
内容記述 This paper deals with the synthesis of Petri nets. Partial languages adequately represent the concurrent behaviors of Petri nets. We first propose a construction problem for Petri nets, in which the objective is to synthesize a Petri net to exhibit the desired behavior specified as a partial language. We next discuss the solvability of this problem and last present the cutline of a solution technique.
内容記述タイプ Abstract
出版者
出版者 Institute of Electronics, Information and Communication Engineers
言語
言語 eng
資源タイプ
資源タイプresource http://purl.org/coar/resource_type/c_6501
タイプ journal article
ISSN
収録物識別子タイプ ISSN
収録物識別子 0916-8508
書誌情報 IEICE transactions on fundamentals of electronics, communications and computer sciences

巻 E79-A, 号 12, p. 2192-2195, 発行日 1996-12-21
著者版フラグ
値 publisher
URI
識別子 http://www.ieice.org/jpn/trans_online/index.html
識別子タイプ URI
URI
識別子 http://hdl.handle.net/2237/14962
識別子タイプ HDL
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 18:40:03.155927
Show All versions

Share

Mendeley CiteULike Twitter Facebook Print Addthis

Cite as

Export

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by CERN Data Centre & Invenio


Powered by CERN Data Centre & Invenio