An analytical study of Petri net structures in communications and computations 通信と計算におけるペトリネット構造の解析に関する研究

この論文をさがす

著者

    • 葛, 崎偉 コー, チーウェイ

書誌事項

タイトル

An analytical study of Petri net structures in communications and computations

タイトル別名

通信と計算におけるペトリネット構造の解析に関する研究

著者名

葛, 崎偉

著者別名

コー, チーウェイ

学位授与大学

広島大学

取得学位

工学博士

学位授与番号

甲第915号

学位授与年月日

1991-02-14

注記・抄録

博士論文

目次

  1. Contents / p7 (0005.jp2)
  2. Abstract / p3 (0003.jp2)
  3. Acknowledgements / p5 (0004.jp2)
  4. List of Symbols / p6 (0005.jp2)
  5. Chapter1 Introduction / p1 (0006.jp2)
  6. 1.1 Background and Motivation of the Thesis / p1 (0006.jp2)
  7. 1.2 Organization of the Thesis / p6 (0009.jp2)
  8. Chapter2 Preliminary / p7 (0009.jp2)
  9. 2.1 Definitions and Basic Properties of Petri Nets / p8 (0010.jp2)
  10. 2.2 Definitions and Basic Properties of Program Nets / p12 (0012.jp2)
  11. Chapter3 Communication and Computation Models / p20 (0016.jp2)
  12. 3.1 A Petri Net-Based Communication Model and Its Problems / p21 (0016.jp2)
  13. 3.2 A Program Net-Based Computation Model and Its Problems / p27 (0019.jp2)
  14. Chapter4 Net Analysis of the Communication Model / p29 (0020.jp2)
  15. 4.1 Rigidly Connected Petri Nets / p30 (0021.jp2)
  16. 4.2 Minimum Initial Token Distribution / p53 (0032.jp2)
  17. 4.3 Generation of T-invariants / p66 (0039.jp2)
  18. 4.4 Remarks / p80 (0046.jp2)
  19. Chapter5 Net Analysis of the Computation Model:I / p81 (0046.jp2)
  20. 5.1 Execution Termination / p82 (0047.jp2)
  21. 5.2 Computation Determinacy / p95 (0053.jp2)
  22. 5.3 Remarks / p110 (0061.jp2)
  23. Chapter6 Net Analysis of the Computation Model:II / p111 (0061.jp2)
  24. 6.1 Token Self-cleanness / p112 (0062.jp2)
  25. 6.2 Parallelism Analysis / p121 (0066.jp2)
  26. 6.3 Remarks / p131 (0071.jp2)
  27. Chapter7 Conclusions / p132 (0072.jp2)
  28. Appendix / p136 (0074.jp2)
  29. A.1 Proof of Lemma 5.3 / p136 (0074.jp2)
  30. A.2 Proof of Theorem 5.2 / p139 (0075.jp2)
  31. References / p145 (0078.jp2)
  32. List of Publications / p152 (0082.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000077073
  • NII著者ID(NRID)
    • 8000000077276
  • DOI(NDL)
  • NDL書誌ID
    • 000000241387
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ