Special Section on Net Theory and Its Applications
==================================================
 . FOREWORD ....................................................... 1577
        Toshimasa WATANABE

INVITED PAPERS
==============
 . A Petri Net Model for Nonmonotonic Reasoning Based on Annotated
   Logic Programs ................................................. 1579
        Chuang LIN and Tadao MURATA

 . An Effective Application of Net-Theory to Communication Protocol
   Development .................................................... 1588
        Norio SHIRATORI, Eun-Seok LEE and Ken TERUYA

 . Inductive Inference of Algebraic Processes Based on Hennessy-Milner
   Logic .......................................................... 1594
        Atsushi TOGASHI and Shigetomo KIMURA

PAPERS
======
 . Reduced State Space Generation of Concurrent Systems Using Weak
   Persistency .................................................... 1602
        Kunihiko HIRAISHI

 . Optimization of Multiple-Valued Logic Functions Based on Petri Nets
            ....................................................... 1607
        Ali Massoud HAIDAR and Mititada MORISUE

 . On Desirable Fault-Tolerant Topology for Cluster-Based Network . 1617
        Kenji ISHIDA and Tohru KIKUNO

 . Synthesis of Protocol Specifications from Service Specifications of
   Distributed Systems in a Morked Graph Madel .................... 1623
        Kozo OKANO, Hirozumi YAMAGUCHI, Teruo HIGASHINO and Kenichi
        TANIGUCHI

 . Automated Synthesis of Protocol Specifications from Service
   Specifications with Parallelly Executable Multiple Primitives .. 1634
        Yoshiaki KAKUDA, Masahide NAKAMURA and Tohru KIKUNO

 . A New Approach for Protocol Synthesis Based on LOTOS ........... 1646
        Bhed Bahadur BISTA, Zixue CHENG, Atsushi TOGASHI and Norio
        SHIRATORI

 . A Support Method for Specification Process Based on LTSs ....... 1656
        Ushio YAMAMOTO, Atsushi TOGASHI and Norio SHIRATORI

 . A Method to Validate the Correctness of Test Logic Programs Applied
   in a Protocol Conformance Test System Using Petri Nets ......... 1663
        Hiroto SUZUKI, Kohkichi TSUJI, Tetsuo ARAKI, Osamu TAKAHASHI
        and Shizuo YOSHITAKE

Regular Section
===============
PAPERS
======
[Algorithms, Data Structures and Computational Complexity]

 . An Efficient Algorithm for Finding a Maximum Weight Independent Set
   of a Circle Graph .............................................. 1672
        Olivier GOLDSCHMIDT and Alexan TAKVORIAN

 . A Parallel Method for the Prefix Convex Hulls Problem .......... 1675
        Wei CHEN, Koji NAKANO, Toshimitsu MASUZAWA and Nobuki TOKURA

[Computer Aided Design (CAD)]

 . A Preconstrained Compaction Method Applied to Direct Design-Rule
   Conversion of CMOS Layouts ..................................... 1684
        Hiroshi MIYASHITA

[Graphs, Networks and Matroids]

 . Properties of Circuits in a W-Graph ............................ 1692
        Hua-An ZHAO and Wataru MAYEDA

[Nonlinear Circuits and Systems]

 . On Quadratic Convergence of the Katzenelson-Like Algorithm for
   Solving Nonlinear Resistive Networks ........................... 1700
        Kiyotaka YAMAMURA

LETTERS
=======
[Control and Computing]

 . Eigenvalue Bounds for a Certain Class of Interval Matrices ..... 1707
        Takehiro MORI and Hideki KOKAME

[Digital Image Processing]

 . Evaluation of the Noise Rejection Performance of Linear Trajectory
   Filters ........................................................ 1710
        Toshitaka TAGO and Nozomu HAMADA

[Digital Signal Processing]

 . Reconstruction of Signal and Its Fourier Spectra from Irregularly
   Distributed Samples ............................................ 1714
        Yongwan PARK

[Neural Networks]

 . T-Model Neural Network for PCM Encoding ........................ 1718
        Zheng TANG, Okihiko ISHIZUKA and Masakazu SAKAI

 . ABSTRACTS (IEICE Trans., Vol.J77-A, No.10 in Japanese) ......... 1722