• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

SYSTEMATIC ANALYSIS AND DESIGN OF LARGE SCALE CONCURRENT SYSTEMS BY USING QUANTUM NET MODEL

Research Project

Project/Area Number 14550403
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field System engineering
Research InstitutionAICHI PREFECTURAL UNIVERSITY

Principal Investigator

TSUJI Kohkichi  Aichi Prefectural University, Professor, 情報科学部, 教授 (00197675)

Project Period (FY) 2002 – 2004
Project Status Completed (Fiscal Year 2004)
Budget Amount *help
¥3,500,000 (Direct Cost: ¥3,500,000)
Fiscal Year 2004: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 2003: ¥1,500,000 (Direct Cost: ¥1,500,000)
Fiscal Year 2002: ¥1,500,000 (Direct Cost: ¥1,500,000)
KeywordsPETRI NET / AUTONOMOUS DISTRIBUTED SYSTEM / DISCRETE EVENT / CONCURRENT SYSTEM / QUANTUM PETRI NET / NET THEORY / QUBIT / GRAPH THEORY
Research Abstract

In order to analyze and design systematically the large scale concurrent systems connected by networks, we investigate theoretically and develop the CAD programs as follows.
Investigation:
The problem of system control can be solved by using reachability of Petri nets and the problem of system deadlock can be solved by using liveness of Petri nets.
Therefore, first, in order to deal with the fuzzy information in the networks and the large scale concurrent systems, we introduced new extended Petri nets which can use the complex number as parameters.
Next, in order to show the usefulness of this extended Petri net (Quantum Petri net), we derived more useful condition for checking its structural properties and behavioral properties in subclasses. In particular, these conditions can be checked easily because they are presented in terms of the initial token distribution, the final token distribution, and the net structure.
Development of CAD Programs:
We prepared to analyze and design systematically the large scale concurrent systems by using the above theoretical results and its program packages (boundedness, reachability, liveness, etc.).
Results:
These results are appeared in the following papers (11. REFERENCES).

Report

(4 results)
  • 2004 Annual Research Report   Final Research Report Summary
  • 2003 Annual Research Report
  • 2002 Annual Research Report
  • Research Products

    (29 results)

All 2004 2003 2002 Other

All Journal Article (17 results) Publications (12 results)

  • [Journal Article] 自動ユニット番号バインディングによる自己組織化空調制御ネットワーク2004

    • Author(s)
      蜷川忠三, 溝口正信, 辻孝吉
    • Journal Title

      電気学会論文誌D 24-D・9

      Pages: 938-946

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Annual Research Report 2004 Final Research Report Summary
  • [Journal Article] On Some Analysis Properties of Colored Petri Net using Underlying Net2004

    • Author(s)
      A.Ohta, K.Tsuji
    • Journal Title

      Proceedings of IEEE Midwest Symposium on Circuits and Systems III

      Pages: 395-398

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Analysis of Liviness Monotonicity in Petri Net using Insufficiently Marked Siphons2004

    • Author(s)
      A.Ohta, K.Tsuji
    • Journal Title

      Proceedings of 2004 Joint Technical Conference on Circuits/Systems, Computers and Communications 7E3L-3

      Pages: 1-4

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Unfolding of Petri Nets with Semilinear reachability Set2004

    • Author(s)
      A.Ohta, K.Tsuji
    • Journal Title

      Proceedings of the IEEE International Symposium on Circuits and Systems IV

      Pages: 501-504

    • NAID

      110003299885

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Unfolding of Petri nets with semilinear reachability set2004

    • Author(s)
      Atsushi Ohta, Kohkichi Tsuji
    • Journal Title

      Proc. IEEE ISCAS2004 (in Vancouver) vol.IV

      Pages: 501-504

    • NAID

      110003299885

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Analysis of Liviness Monotonicity in Petri Net using Insufficiently Marked Siphons2004

    • Author(s)
      Atsushi Ohta, Kohkichi Tsuji
    • Journal Title

      Proceedings of ITC-CSCC 2004

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] On Some Analysis Properties of Colored Petri Net using Underlying Net2004

    • Author(s)
      Atsushi Ohta, Kohkichi Tsuji
    • Journal Title

      Proc. IEEE MWSCASO4

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Analysis of Petri Nets with Batch Processing Arcs2004

    • Author(s)
      Atsushi Ohta, Chihiro Kato, Kohkichi Tsuji
    • Journal Title

      Proc. SICE Annual Conference in Sapporo

      Pages: 517-520

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Analysis of Petri Nets with Batch Processing Arcs2004

    • Author(s)
      A.Ohta, C.Kato, K.Tsuji
    • Journal Title

      Proceedings of SICE Annual Conference

      Pages: 517-520

    • Related Report
      2004 Annual Research Report
  • [Journal Article] On Some Analysis Properties of Colored Petri Net using Underlying Net2004

    • Author(s)
      A.Ohta, K.Tsuii
    • Journal Title

      Proceedings of IEEE Midwest Symposium on Circuits and Systems III

      Pages: 395-398

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Analysis of Liviness Monotonicity in Petri Net using Insufficiently Marked Siphons2004

    • Author(s)
      A.Ohta, K.Tsuii
    • Journal Title

      Proceedings of 2004 Joint Technical Conference on Circuits/Systems, Computers and Communications 7E3L-3

      Pages: 1-4

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Fourier-Motzkin法を応用したペトリネットのサイフォン生成族の列挙法2004

    • Author(s)
      太田, 辻
    • Journal Title

      SICE第36回離散事象システム研究会講演論文集

      Pages: 1-6

    • Related Report
      2004 Annual Research Report
  • [Journal Article] 挙動的トラップのPOCネットの活性の単調性への応用2004

    • Author(s)
      太田, 辻
    • Journal Title

      電子情報通信学会技術報告CST2004-21 104・402

      Pages: 1-5

    • NAID

      110003300225

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Insufficiently Marked Siphon of Petiri Nets - Extention of Token-Free Siphon -2003

    • Author(s)
      A.Ohta, K.Tsuji
    • Journal Title

      Proc. of IEEE International Symposium on Circuits and Systems III

      Pages: 244-247

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Insufficiently Marked Siphon of Petiri Nets - Extention of Token-Free Siphon -2003

    • Author(s)
      A.Ohta, K.Tsuji
    • Journal Title

      Proc. of IEEE International Symposium on Circuits and Systems

      Pages: 244-247

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] NP-Hardness of Liveness Problem of Bounded Asymmetric Choice Net2002

    • Author(s)
      A.Ohta, K.Tsuji
    • Journal Title

      Transactions of the IEICE of Japan E85-A・5

      Pages: 1071-1074

    • NAID

      110003300202

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] NP-Hardness of Liveness Problem of Bounded Asymmetric Choice Net2002

    • Author(s)
      A.Ohta, K.Tsuji
    • Journal Title

      Transactions of the IEICE of Japan Vol.E85-A, No.5

      Pages: 1071-1074

    • NAID

      110003300202

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Publications] A.Ohta, K.Tsuji: "Unfolding of Petri Nets with Semilinear reachability Set"Proceedings of the IEEE International Symposium on Circuits and Systems. (2004)

    • Related Report
      2003 Annual Research Report
  • [Publications] A.Ohta, K.Tsuji: "Insufficiently Marked Siphon of Petiri Nets -Extention of Token-Free Siphon-"Proceedings of the IEEE International Symposium on Circuits and Systems. Vol.III. 244-247 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] A.Ohta, Hayashi, T., K.Tsuji: "Liveness Preserving Place Deletion in Petri Net"Proceedings of 2003 Joint Technical Conference on Circuits/Systems, Computers and Communications. 1755-1758 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] A.Ohta, K.Tsuji: "Fuzzy Timing Petri Net and Concurrency"Proceedings of SICE Annual Conference 2003. 511-512 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] 高山陽介, 太田 淳, 辻 孝吉: "ペトリネットを用いたCORBAのコールバック問題に対する検討"電子情報通信学会技術研究報告. Vol.103,No.634. 7-12 (2004)

    • Related Report
      2003 Annual Research Report
  • [Publications] 木戸祐介, 太田 淳, 辻 孝吉: "Javaプログラムのネットモデルによる解析"計測自動制御学会 第33回離散事象システム研究会. 11-16 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] A.Ohta, K.Tsuji: "Insufficiently Marked Siphon of Petiri Nets-Extention of Token-Free Siphon-"Proc. of IEEE International Symposium on Circuits and Systems. III. 244-247 (2003)

    • Related Report
      2002 Annual Research Report
  • [Publications] A.Ohta, K.Tsuji: "Polynomial Time Solvability of Liveness Problem of Siphon Containing Circuit Nets"Pros. of 2002 Joint Tech. Conf. on Circuits/Systems, Comp. and Comm.. 970-974 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] A.Ohta, K.Tsuji: "NP-Hardness of Liveness Problem of Bounded Asymmetric Choice Net"Transactions of the IEICE of Japan. E85・A・5. 1071-1074 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] 太田, 古川, 辻: "制限つきワークフローネットの可達問題について"計測自動制御学会システム情報部門学術講演会講演論文集. 489-492 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] 太田, 辻: "制限つきワークフローネットの状態方程式に関する一考察"電子情報通信学会基礎・境界ソサイエティ大会論文集. 163-163 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] 太田, 辻: "接続行列を用いたペトリネットの活性問題の解析について"電子情報通信学会技術研究報告. 102・259. 37-40 (2002)

    • Related Report
      2002 Annual Research Report

URL: 

Published: 2002-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi