Communication-Communication Systems(Date:2004/07/29)

Presentation
表紙

,  

[Date]2004/7/29
[Paper #]
目次

,  

[Date]2004/7/29
[Paper #]
A Design and Verification for the Distributed Parallel Systems based on An Extended Petri Net and Java Executor

Shin'nosuke YAMAGUCHI,  Katsumi WASAKI,  Yasunari SHIDAMA,  

[Date]2004/7/29
[Paper #]CST2004-16
Modeling and Firing Sequence of MLS by Petri net

Kazuaki MATSUO,  Hisao SHIIZUKA,  

[Date]2004/7/29
[Paper #]CST2004-17
Analysis of call-back problem in CORBA using Petri nets

Yousuke TAKAYAMA,  Atsushi OHTA,  Kohkichi TSUJI,  

[Date]2004/7/29
[Paper #]CST2004-18
Improved Algorithms for Computation of Petri Net Invariants based on Siphon-Trap

Atsushi IRIBOSHI,  Satoshi TAOKA,  Toshimasa WATANABE,  

[Date]2004/7/29
[Paper #]CST2004-19
Recent Trends on Petri Nets and Their Problems in the Future : May, 2003 - May, 2004

Hisao SHIIZUKA,  

[Date]2004/7/29
[Paper #]CST2004-20
複写される方へ

,  

[Date]2004/7/29
[Paper #]
奥付

,  

[Date]2004/7/29
[Paper #]