2007年
Reachability problem of marked graphs with batch processing arcs
IECON 2007: 33RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, CONFERENCE PROCEEDINGS
- ,
- ,
- 巻
- 33rd Vol.1
- 号
- 開始ページ
- 70
- 終了ページ
- 75
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.1109/IECON.2007.4459954
- 出版者・発行元
- IEEE
Petri net is a mathematical model for discrete event systems. Batch processing arcs are suggested which moves all tokens in its input places by single firing of transition. This extension makes Petri net Turing machine equivalent, which means most of important analysis problems including reachability problem are undecidable. In this report, we study reachability problem of marked graphs with batch processing arcs. It is assumed that transitions are classified in two categories: for each transition, either all incident arcs are normal arcs or all incident arcs are batch processing arcs. Under this assumption, necessary and sufficient condition for reachability of marked graphs without batch processing arcs is shown to be extended to that with batch processing arcs.
- リンク情報
-
- DOI
- https://doi.org/10.1109/IECON.2007.4459954
- J-GLOBAL
- https://jglobal.jst.go.jp/detail?JGLOBAL_ID=200902286232250740
- Web of Science
- https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000253451400013&DestApp=WOS_CPL
- URL
- http://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=49949100226&origin=inward
- ID情報
-
- DOI : 10.1109/IECON.2007.4459954
- ISSN : 1553-572X
- J-Global ID : 200902286232250740
- SCOPUS ID : 49949100226
- Web of Science ID : WOS:000253451400013