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

• Material Type: 博士論文
• Title: Applications of Petri net theory in the design of hardware/software systems
• Author/Editor: 川本奈緒美ポーリン [著]
• Author Heading: 川本, ポーリン奈緒美 カワモト, ポーリン ナオミ
• Alternative Title: ペトリネット理論のハードウェアとソフトウェア・システム設計への応用 ペトリ ネット リロン ノ ハードウェア ト ソフトウェア システム セッケイ エ ノ オウヨウ
• Degree grantor/type: 信州大学
• Date Granted: 平成8年3月20日
• Date Granted (W3CDTF): 1996
• Dissertation Number: 甲第95号
• Degree Type: 博士 (工学)
• Note (Dissertation): 博士論文
• Place of Publication (Country Code): JP
• Alias of Author: Kawamoto, Pauline N
• NDLC: UT51
• Note (General): 博士論文
• Holding library: 国立国会図書館
• Call No.: UT51-96-M503
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000000298956; http://id.ndl.go.jp/bib/000000298956
• Bibliographic Record Category (NDL): 213

Table of Contents

Contents

1 Introduction

2 Preliminaries

2.1 Basic Petri Net Constructions

2.2 Activation of Petri Nets