論文

査読有り
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
  • Nami Mizuno
  • ,
  • Atsushi Ohta
  • ,
  • Kohkichi Tsuji

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

エクスポート
BibTeX RIS