コンカレントシステムの記述モデルとその応用小特集号（英文論文誌Ａ）
(Special Section on Description Models for Concurrent Systems and
Their Applications)
コンカレントシステムの記述モデルとその応用英文論文小特集編集委員会
1. 主旨
コンカレントシステムは並列・分散計算機，通信システム，離散
系生産システム(FMS)、ワークフロー、リアクティプ実時間ソフトウェア，交通
管制システム，VLSl，AI，などさまざまな分野で扱われます．それらのシス
テムを記述するためのモデルとしては，Statechartなどの状態遷移ベースのモデ
ル，CCS，CSP，ACPなどのプロセス代数，ペトリネットに代表されるグラフ的な
モデルなどさまざまなものが提案されています．その使用目的も仕様記述，モデ
リング，シミュレーション，スケジューリング，性能／信順性評価，プログラミ
ング等，多岐に渡っております．
モデルの表現能力ど解析能カは，一般にトレードオフ関係にあります．コンカ
レントシステムの記述モデルについて表現能カ，解析能カ，アプリケーション等，
さまざまな視点からの比較を行い，これらを通してそれぞれのモデルの特質を明
らかにするこどは重要だと考えられまず．更に，コンカレントシステムが内包ず
る共通の間題点を明らかにすることにもつながります．
墓礎・境界ソサイエティでは，これらの視点から，コンカレントシステムの記
述モデルの理論と応用に関する最新成果を掲載することにより，当核分野の今後
の研究促進を図ることを目的として，本特集号を企画しました．
2. 対象分野
上記のコンカレントシステムの記述モデルに関連して
(i)純然たる理論
(ii)応用に関する理論的あるいは実験的成果
(iii)新しい応用に関する研究成果
(iv)コンピュータ・ツール等
3. 小特集編集委員会
ゲストエディタ 平石邦彦（北陸先端大）
委 員 青山幹雄（新潟工科大）、高橋宏治（東工大）
、築山誠（三菱電機）
名嘉村盛和（琉球大）、長谷川晴郎（沖電気）、本位田真一（東芝）
松本忠（福井大）、村田智洋（日立）、渡辺敏正（広島大）
4. 採択論文
- Foreword
- Kunihiko HIRAISHI
Vol.E79-A, No.11, p.1751
- Papers
- Reuse Based Specification Support Method Using Mathematical Similarity
- Ushio YAMAMOTO，Eun-Seok LEE and Norio SHIRATORI
Vol.E79-A, No.11, p.1752
- A Topological Framework of Stepwise Specification for Concurrent Systems
- Toshihiko ANDO，Kaoru TAKAHASHl and Yasushi KATO
Vol.E79-A, No.11, p.1760
- Introduction of Economic-Oriented Fairness to Process Algebras
- Shigetomo KIMURA and Yoshihiko EBIHARA
Vol.E79-A, No.11, p.1768
- A GA Approach to Solving Reachabi1仕y Problems
for Petri Nets
- Keiko TAKAHASHI，Masayuki YAMAMURAand Shigenobu KOBAYASHI
Vol.E79-A, No.11, p.1774
- Non-Regenerative Stochastic Petri Nets: Modeling and Analysis
- Qun JIN，Yoneo YANO and Yoshio SUGASAWA
Vol.E79-A, No.11, p.1781
- On Some Analysis Properties of Petri Net Systems under the Earliest Firing Rule
- Atsushi OHTA and Tomji HlSAMURA
Vol.E79-A, No.11, p.1791
- A High-Level Petri Net for Accurate Modeling of Reactive and Concurrent Systems
- Naoshi UCHIHIRA and Shinichi HONIDEN
Vol.E79-A, No.11, p.1797
- A Graph Theoretic Approach to Reachability Problem with Petri Net Unfoldings
- Toshiyuki MIYAMOTO and Sadatoshi KUMAGAI
Vol.E79-A, No.11, p.1809
- Finding Minimal Siphons in General Petri Nets
- Shinji TANIMOTO，Masahiro YAMAUCHl and Toshimasa WATANABE
Vol.E79-A, No.11, p.1817
- Letters
- Finding a Minimal Siphon Containing Specified
Places in a General Petri Net
- Masahiro YAMAUCHI，Shinji TANIMOTOand Toshimasa WATANABE
Vol.E79-A, No.11, p.1825
- A Consideration of Transient Characteristics
on Throughput in a Slotted Ring Network
- Ken TERUYA and Norio SHIRATORI
Vol.E79-A, No.11, p.1829