挙動的トラップのPOCネットの活性の単調性への応用  [in Japanese] An application of behavioral traps to liveness monotonicity of POC nets  [in Japanese]

Search this Article

Author(s)

    • 太田 淳 OHTA Atsushi
    • 愛知県立大学情報科学部 Faculty of Information Science and Technology, Aichi Prefectural University
    • 辻 孝吉 TSUJI Kohkichi
    • 愛知県立大学情報科学部 Faculty of Information Science and Technology, Aichi Prefectural University

Abstract

ペトリネットはコンカレントシステムの有効なモデルの一つである。ペトリネットの解析問題のひとつである活性問題を調べる方法に、プレースの集合であるサイフォンとトラップを用いた方法がある。サイフォン、トラップは構造的なものであるが、松本らは挙動的トラップを提案して、活性のための条件を導いた。また、Lautenbachらによって提案された挙動的トラップのための代数的な十分条件は、著者らによって拡張されている。一方、初期マーキングM_0活性なペトリネットに対して、M^'_0≧M_0なる任意のマーキングでも活性が成り立つことを活性の単調性という。本報告では、この活性の単調性に対してマーキングの増分に制約を設けた弱単調性について考察する。POCネットについて挙動的トラップを用いた活性の弱単調性のための十分条件を示す。さらに、プレースの出力トランジション数が高々2であるようなAC/DCネットについて初期マーキングの定数倍のマーキングについて活性が保たれるための必要十分条件を導く。

Petri net is an effective model for concurrent systems. Siphon and trap give an effective tool for liveness analysis of Petri net. Matsumoto et al. have proposed behavioral traps and Lautenbach et al, shown an algebraic sufficient condition for a behavioral trap. 0n the other hand, liveness of Petri net under the initial marking M_0 is monotonic if the net is live for any initial marking M^'_0 satisfying M^'_0≧M_O. In the report, we study weak monotonicity, where the increase of initial marking is in a limited way. A sufficient condition for weak monotonisicy of liveness is derived for POC net. Then necessary and sufficient condition for liveness being preserved in any constant multiple of initial marking M_0 is derived for AC/DC net whose place have at most two output transitions.

Journal

  • Technical report of IEICE. CST

    Technical report of IEICE. CST 104(404), 1-5, 2004-11-04

    The Institute of Electronics, Information and Communication Engineers

References:  13

Codes

  • NII Article ID (NAID)
    110003300225
  • NII NACSIS-CAT ID (NCID)
    AN10438446
  • Text Lang
    JPN
  • Article Type
    ART
  • ISSN
    09135685
  • NDL Article ID
    7187752
  • NDL Source Classification
    ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
  • NDL Call No.
    Z16-940
  • Data Source
    CJP  NDL  NII-ELS 
Page Top