ネット理論とその応用小特集号（英文論文誌Ａ）
(Special Section on Net Theory and Its Applications)
ネット理論とその応用英文論文小特集編集委員会
1. 主旨
ペトリネット，プログラムネット，AND-OR木，二分決定木，等のい
わゆるネット表現モデルはその視覚的な認識の容易さ，簡潔性，表現力によって，
通信プロトコル，実時間ソフトウェアをはじめとするソフトウェアの設計，生産
システム（FMS）の制御・管理スゲジューリング，非同期・並行・分散システム
等のモデリングと性能評価，VLSl‐CAD設計，等々様々な分野で利用され，広い
応用性が認められています．一方，ネット表現モデル上での所望の処理や判定は
実際にはコンピュータを駆使して通常行う訳でずが，その際には多大の労力と計
算時間を費やす必要がしばしば生じ，その内包する処理の難しさの一端を示すこ
どがあります．ネット表現モデリングの有用性，実用性を今後より一層高めてい
くためには，新しい応用分野を開拓すること，コンピュータ処理を容易なものに
ずること，これら両面からの研究経続が是非とも必要と考えられます．
電子情報通信学会基礎・境界グループでは，これら両者の立場からの最新成果を掲載するこどにより，当該分野の今後の研究促進を図ることを目的として，本特集号を企画しました．
2. 対象分野
上記のネット表現モデルに関連して
(i)純然たる理論
(ii)応用に関する理論的あるいは実験的成果
(iii)新しい応用に関する研究成果
3. 小特集編集委員会
ゲストエディタ 渡辺敏正（広島大）
委 員 青山幹雄（新潟工科大）、潮俊光（神戸女学院
大）、角田良明（阪大）、白鳥則郎（東北大）
辻孝吉（福井大）、東野輝夫（阪大）、平石邦彦（北陸先端大）
村田智洋（日立）、渡辺孝博（山口大）
4. 採択論文
- Foreword
- Toshimasa WATANABE
Vol.E77-A, No.10, p.1577
- Invited Papers
- A Petri Net Model for Nonmonotonic Reasoning Based on Annotated Logic Programs
- Chuang LIN and Tadao MURATA
Vol.E77-A, No.10, p.1579
- An Effective Application of Net-Theory to Communication Protocol Development
- Norio SHIRATORl，Eun-Seok LEE and Ken TERUYA
Vol.E77-A, No.10, p.1588
- Inducdve Inference of Algebraic Processes Based on Hennessy-Milner Logic
- Atsushi TOGASHl and Shigetomo KIMURA
Vol.E77-A, No.10, p.1594
- Papers
- Reduced State Space Generation of Concurrent Systems Using Weak Persistency
- Kunihiko HIRAISHI
Vol.E77-A, No.10, p.1602
- Optimization of Multiple-Valued Logic Functions Based on Petri Nets
- Ali Massoud HAIDAR and Mititada MORISUE
Vol.E77-A, No.10, p.1607
- On Desirable Fault-Tolerant Topology for Cluster-Based Network
- Kenji ISHIDA and Tohru KIKUNO
Vol.E77-A, No.10, p.1617
- Synthesis of Protocol Specifications from
Service Specifications of Distributed Systems in a Marked Graph Model
- Kozo OKANO，Hirozumi YAMAGUCHI，Teruo HIGASHIN0 and Kenichi TANIGUCHI
Vol.E77-A, No.10, p.1623
- Automated Synthesis of Protocol Specifications
from Service Specifications with Parallelly Executable Multiple Primitives
- Yoshiaki KAKUDA，Masahide NAKAMURA and Tohru KIKUN0
Vol.E77-A, No.10, p.
1634
- A New Approach for Protocol Synthesis Based on LOTOS
- Bhed Bahadur BISTA，Zixue CHENG，Atsushi TOGASHI and Norio SHIRATORI
Vol.E77-A, No.10, p.1646
- A Support Method for Specification Process Based on LTSs
- Ushio YAMAMOTO，Atsushi TOGASHl and Norio SHIRATORI
Vol.E77-A, No.10, p.1656
- A Method to Validate the Correctness of Test
Logic Programs Applied in a Protocol Conformance Test System Using Petri Nets
- Hiroto SUZUKI，Kohkichi TSUJI，Tetsuo ARAKI，Osamu TAKAHASHI and Shizuo YOSHITAKE
Vol.E77-A, No.10, p.1663