Analysis and synthesis of Petri nets by state machine decomposition 状態機械分割に基づくペトリネットの解析と合成に関する研究

この論文をさがす

著者

    • 李, 東翊 リ, ドンイク

書誌事項

タイトル

Analysis and synthesis of Petri nets by state machine decomposition

タイトル別名

状態機械分割に基づくペトリネットの解析と合成に関する研究

著者名

李, 東翊

著者別名

リ, ドンイク

学位授与大学

大阪大学

取得学位

博士 (工学)

学位授与番号

乙第5921号

学位授与年月日

1993-03-02

注記・抄録

博士論文

10550

博士(工学)

1992-03-02

大阪大学

14401乙第05921号

目次

  1. CONTENTS / p3 (0004.jp2)
  2. Summary / p1 (0003.jp2)
  3. Contents / p3 (0004.jp2)
  4. Chapter1 Introduction / p1 (0005.jp2)
  5. 1.1 Background / p1 (0005.jp2)
  6. 1.2 Overview of Following Chapters / p6 (0008.jp2)
  7. References / p8 (0009.jp2)
  8. Chapter2 Petri Nets and Its Classification / p12 (0011.jp2)
  9. 2.1 Informal Introduction to Petri Nets / p12 (0011.jp2)
  10. 2.2 Formal Definition of Petri Nets / p19 (0014.jp2)
  11. 2.3 Several Structurally Restricted Classes of Petri Nets / p25 (0017.jp2)
  12. References / p30 (0020.jp2)
  13. Chapter3 Structural Characterization of SMA Nets / p34 (0022.jp2)
  14. 3.1 Introduction / p34 (0022.jp2)
  15. 3.2 Structural Properties of SMA nets / p35 (0022.jp2)
  16. 3.3 A Necessary and Sufficient Condition for Nets to be SMA Nets / p42 (0026.jp2)
  17. 3.4 Conclusion / p54 (0032.jp2)
  18. References / p55 (0032.jp2)
  19. Chapter4 Polynomial Characterization of SMA Nets / p57 (0033.jp2)
  20. 4.1 Introduction / p57 (0033.jp2)
  21. 4.2 A Stronger Necessary and Sufficient Condition for Nets to be SMA Nets / p58 (0034.jp2)
  22. 4.3 Polynomial Characterization of SMA nets / p61 (0035.jp2)
  23. 4.4 An S-decomposition of an SMA Net / p65 (0037.jp2)
  24. 4.5 Conclusion / p75 (0042.jp2)
  25. References / p76 (0043.jp2)
  26. Appendix4 / p79 (0044.jp2)
  27. Chapter5 Liveness of SMA Nets / p82 (0046.jp2)
  28. 5.1 Introduction / p82 (0046.jp2)
  29. 5.2 Polynomial Characterization of the Liveness of SMA Nets / p83 (0046.jp2)
  30. 5.3 Conclusion / p87 (0048.jp2)
  31. References / p88 (0049.jp2)
  32. Chapter6 Safeness of SMA Nets / p90 (0050.jp2)
  33. 6.1 Introduction / p90 (0050.jp2)
  34. 6.2 An SM-decomposition of an LSFC Net / p91 (0050.jp2)
  35. 6.3 Polynomial Characterization of the Safeness of Live SMA Nets / p97 (0053.jp2)
  36. 6.4 Conclusion / p99 (0054.jp2)
  37. References / p99 (0054.jp2)
  38. Chapter7 Reachability of SMA nets / p100 (0055.jp2)
  39. 7.1 Introduction / p100 (0055.jp2)
  40. 7.2 Reachability Theorem for SCSMs / p101 (0055.jp2)
  41. 7.3 Reachability Theorem for LSFC Nets of Class A / p105 (0057.jp2)
  42. 7.4 Reachability Theorem for LSFC Nets of Extended Class A / p118 (0064.jp2)
  43. 7.5 Structural Characterization for the reachability of LSFC Nets / p129 (0069.jp2)
  44. 7.6 Conclusion / p132 (0071.jp2)
  45. References / p132 (0071.jp2)
  46. Appendix7 / p135 (0072.jp2)
  47. Chapter8 Conclusions and Further Work / p143 (0076.jp2)
  48. 8.1 Conclusions / p143 (0076.jp2)
  49. 8.2 Further Work / p145 (0077.jp2)
  50. Acknowledgement / p147 (0078.jp2)
  51. List of Publications by the Author / p149 (0079.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000093812
  • NII著者ID(NRID)
    • 8000000094038
  • DOI(NDL)
  • NDL書誌ID
    • 000000258126
  • データ提供元
    • 機関リポジトリ
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ