| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| MSS | 2007-08-31 15:10 |
Shimane | Shimane University | Enhancing Stability of the Fourier-Motzkin Method based on Siphon-Trap Extraction of Petri Nets Tomohiro Chikada, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)  CST2007-16 |
For a Petri net = (P,T,E,α,β,), a P-invariant is a |P|-deimentional vector Y with Y^t・A = 0 for the place-transition inc... [more] | CST2007-16 pp.31-36 |
| MSS | 2005-08-22 13:25 |
Aichi | Aichi Prefectural University | Enumerating basic siphons in Petri net using Fourier-Motzkin like method Atsushi Ohta (Aichi Pref. Univ.), Masaya Mizoguchi (Hurxley), Kohkichi Tsuji (Aichi Pref. Univ.) |
Petri net is an effective modeling tool for concurrent systems. A siphon and a trap are the subsets of place that can be... [more] | CST2005-15 pp.7-12 |
| 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 |
[Return to Top Page]