Communication-Communication Systems(Date:1994/04/13)

Presentation
目次

,  

[Date]1994/4/13
[Paper #]
A Brief introduction of Petri net theory and related problems

Kunihiko Hiraishi,  

[Date]1994/4/13
[Paper #]CST94-1
Recent Researches and Future Problems of concurrent Calculi

Togashi Atsushi,  

[Date]1994/4/13
[Paper #]CST94-2
Applications of Process Algebraic Approaches to Practical Systems- Experiences and Perspectives-

Kazuhito Ohmaki,  Yutaka Sato,  Ki-Biyong Kim,  

[Date]1994/4/13
[Paper #]CST94-3
Modeling of Flexible Manufacturing Systems Based on Petri Net Approach.

Kaji Takahashi,  

[Date]1994/4/13
[Paper #]CST94-4
Multimedia and Concurrent Engineering - Description of relationship among Multimedia Objects

Hamakawa Rei,  

[Date]1994/4/13
[Paper #]CST94-5
A Consideration of a Fault Diagnosis of a Marked Graph

Kiyoshi Mikami,  Hiroshi Tamura,  Masakazu Sengoku,  Yoshio Yamaguchi,  Shoji Shinoda,  

[Date]1994/4/13
[Paper #]CST94-6
On Relations between Boundedness and Liveness for Deadlocks in General Petri Nets-Characterization of Globally-Structucal-Live Minimal Deadlocks-

Tadashi Matsumoto,  Shinichi Yamazaki,  Yasuhiko Tsuruta,  

[Date]1994/4/13
[Paper #]CST94-7
Multiple-Valued Logic Synthesis Based on Petri Nets

Ali Massoud Haidar,  Mititada Morisue,  

[Date]1994/4/13
[Paper #]CST94-8
A Study on Place Invariance of Petri Net

Yigang Cai,  Takashi Sekiguchi,  

[Date]1994/4/13
[Paper #]CST94-9
[OTHERS]

,  

[Date]1994/4/13
[Paper #]