Applications of Petri net theory in the design of hardware/software systems ペトリネット理論のハードウェアとソフトウェア・システム設計への応用

この論文をさがす

著者

    • 川本, ポーリン奈緒美 カワモト, ポーリン ナオミ

書誌事項

タイトル

Applications of Petri net theory in the design of hardware/software systems

タイトル別名

ペトリネット理論のハードウェアとソフトウェア・システム設計への応用

著者名

川本, ポーリン奈緒美

著者別名

カワモト, ポーリン ナオミ

学位授与大学

信州大学

取得学位

博士 (工学)

学位授与番号

甲第95号

学位授与年月日

1996-03-20

注記・抄録

博士論文

目次

  1. Contents / (0003.jp2)
  2. 1 Introduction / p1 (0004.jp2)
  3. 2 Preliminaries / p3 (0006.jp2)
  4. 2.1 Basic Petri Net Constructions / p3 (0006.jp2)
  5. 2.2 Activation of Petri Nets / p5 (0009.jp2)
  6. 2.3 Synthesis of Petri Nets / p7 (0011.jp2)
  7. 3 HW/SW Modelling with Petri Nets / p12 (0016.jp2)
  8. 3.1 Representation of Data Objects / p12 (0016.jp2)
  9. 3.2 Represention of Events / p13 (0017.jp2)
  10. 4 Implementation of Petri Net Systems / p15 (0019.jp2)
  11. 4.1 Software System Implementation / p15 (0019.jp2)
  12. 4.2 Hardware System Implementation / p19 (0023.jp2)
  13. 5 Verification of Petri Net Design Concepts / p32 (0036.jp2)
  14. 6 Conclusions / p33 (0037.jp2)
  15. Acknowledgements / p34 (0038.jp2)
  16. References / p35 (0039.jp2)
  17. List of Related Papers / p36 (0040.jp2)
  18. A Proofs / p37 (0041.jp2)
  19. B Petri Net Design System (PDS) / p38 (0042.jp2)
  20. C Mizar Articles on Petri Net / p39 (0043.jp2)
1アクセス

各種コード

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