|
|
Technical Committee on Mathematical Systems Science and its Applications (MSS) (Searched in: 2004)
|
|
Search Results: Keywords 'from:2004-08-05 to:2004-08-05'
|
[Go to Official MSS Homepage (Japanese)] |
Search Results: Conference Papers |
Conference Papers (Available on Advance Programs) (Sort by: Date Ascending) |
|
Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MSS |
2004-08-05 14:00 |
Hokkaido |
Hokkai Gakuen University |
A Design Tool for the Distributed Parallel Systems based on An Extended Petri Net and Java Executor Shin'nosuke Yamaguchi (KIT), Katsumi Wasaki, Yasunari Shidama (Shinshu Univ.) |
[more] |
CST2004-16 pp.1-6 |
MSS |
2004-08-05 14:25 |
Hokkaido |
Hokkai Gakuen University |
Modeling and Firing Sequence of MLS by Petri net Kazuaki Matsuo, Hisao Shiizuka (Kogakuin Univ) |
The leakage event of information occurs frequently now. As these factors, management and the handling of the secret data... [more] |
CST2004-17 pp.7-10 |
MSS |
2004-08-05 14:50 |
Hokkaido |
Hokkai Gakuen University |
Analysis of call-back problem in CORBA using Petri nets Yousuke Takayama, Atsushi Ohta, Kohkichi Tsuji (Aichi Prefectural Univ.) |
We analyze the call-back problem generated on the distributed object system.
In this paper, we model CORBA which is the... [more] |
CST2004-18 pp.11-16 |
MSS |
2004-08-05 15:15 |
Hokkaido |
Hokkai Gakuen University |
Improved Algorithms for Computation of Petri Net Invariants based on Siphon-Trap Atsushi Iriboshi, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
A siphon-trap($ST$) of a Petri net $ N = (P,T,E,\alpha,\beta) $ is defined as
a set $S$ of places such that, for any tr... [more] |
CST2004-19 pp.17-22 |
MSS |
2004-08-05 15:40 |
Hokkaido |
Hokkai Gakuen University |
Recent Trends on Petri Nets and Their Problems in the Future
-- May,2003-May,2004 -- Hisao Shiizuka (Kogakuin Univ.) |
The result of the trend survey of papers related to Petri nets announced in English until about May,2003-May,2004 is sho... [more] |
CST2004-20 pp.23-52 |
|
|
|
[Return to Top Page]
[Return to IEICE Web Page]
|