ネット理論とその応用小特集号（英文論文誌Ａ）
(Special Section on Net Theory and Its Applications to Discrete Event
System Design)
ネット理論とその応用英文論文小特集編集委員会
1. 主旨
ネット理論は非同期・並行システムの動的振る舞いのモデル（ネッ
トモデル）をペースとしたシステムの組織化に関する理論であり、状態機械、ペ
トリネット、プロセスネット、データフロー、アクティビティネット等のネット
モデルはその視覚的な容易さ、表現力のゆえに広く用いられています。例えば、
生産システム（FMS）、ワークフロー、離散系制御システム、実時間ソフトウェ
ア，VLSl，AI，等々さまざまな分野において、仕様記述、モデリング、シミュレー
ション、スケジューリング、性能／信頼性評価、プログラミング等に利用され、
その有効性が認められております。一方、ネットモデルとしての表現能力の拡張
と解析能力は、一般にトレードオフ関係にあり、実用レベルのネットモデルの解
析には多大の労力と計算時間を費やす必要がしばしば生じ、その内包する複雑性
の一端を示す事があります。ネット理論の有用性、実用性をより一層高めていく
ためには、新しい応用分野の開拓，先進的なネット指向パラダイムの開拓、実用
的なネット解析方法の開拓、コンピュータを利用したネットモデルの容易な取り
扱い、等の研究継続が是非とも必要と考えられます。
墓礎・境界グループでは，これらの視点から，ネットモデルに関する理論と応
用に関する最新成果を掲載することにより，当核分野の今後
の研究促進を図ることを目的として，本特集号を企画しました．
2. 対象分野
上記のネット表現モデルに関連して
(i)純然たる理論
(ii)応用に関する理論的あるいは実験的成果
(iii)新しい応用に関する研究成果
3. 小特集編集委員会
ゲストエディタ 村田智洋（日立）
委 員 青山幹雄（新潟工科大）、今井浩（東大）、高橋宏治（東工大）
、築山誠（三菱電機）
長谷川晴郎（沖電気）、平石邦彦（北陸先端大）、本位田真一（東芝）
李東翊（阪大）、渡辺敏正（広島大）
4. 採択論文
- Foreword
- Tomihiro MURATA
Vol.E78-A, No.11, p.1445
- Papers
- Equivalent Net ReducUon for Firing Sequence
- Masato NAKAGAWA, Sadatoshi KUMAGAI,Toshiyuki MIYAMOTO and Dong-Ik
S. LEE
Vol.E78-A, No.11, p.1447
- Protocol Verification Tool with Extended Petri Net and Horn Clause
- Takashi WATANABE, Tsuyoshi OHTA, Fumiaki SATO and Tadanori MlZUNO
Vol.E78-A, No.11, p.1458
- Verification and Refinement for System Requirements
- Kukhwan SONG，Atushi TOGASHl and Norio SHIRATORI
Vol.E78-A, No.11, p.1468
- On Symbonc Model Checkingin Petri Nets
- Kunihiko HIRAlSHI and Minoru NAKANO
Vol.E78-A, No.11, p.1479
- Pracdcal Program Validation for State‐Based Reactive Concurrent Systems
−Harmonization of Simulation and Verification−
- Naoshi UCHIHIRA and Hideji KAWATA
Vol.E78-A, No.11, p.1487
- An Analysis of Simulation between Petri Nets through Rewriting Logic
- Yasuyuki TAHARA and Shinichi HONIDEN
Vol.E78-A, No.11, p.1498
- An Efncient State Space Search for the
Synthesis of Asynchronous Circuits by Subspace Construction
- Toshiyuki MIYAMOTO，Dong-Ik LEE and Sadatoshi KUMAGAI
Vol.E78-A, No.11, p.1504
- Petri Nets‐Based Super Scalar Computing in Programmable Controners
- Naehyuck CHANG，Jaehyun PARK and Wook Hyun KWON
Vol.E78-A, No.11, p.1511
- Evaluation of Transmission Control Method in a
Slotted Ring Network
- Ken TERUYA and Norio SHIRATORI
Vol.E78-A, No.11, p.1519