WEKO3
アイテム
Construction of Petri Nets from a Given Partial Language
http://hdl.handle.net/2237/14962
http://hdl.handle.net/2237/1496273d03819-eefe-4dd5-9a4a-2a24fd71f2a2
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
373.pdf (260.5 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2011-06-28 | |||||
| タイトル | ||||||
| タイトル | Construction of Petri Nets from a Given Partial Language | |||||
| 言語 | en | |||||
| 著者 |
HASHIZUME, Susumu
× HASHIZUME, Susumu× MITSUYAMA, Yasushi× MATSUTANI, Yutaka× ONOGI, Katsuaki× NISHIMURA, Yoshiyuki |
|||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 権利 | ||||||
| 言語 | en | |||||
| 権利情報 | Copyright (C) 1996 IEICE | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | Petri net | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | partial language | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | synthesis | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | concurrency | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | abstraction | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 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. | |||||
| 言語 | 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 巻 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 | |||||
