|
|
All Technical Committee Conferences (Searched in: All Years)
|
|
Search Results: Conference Papers |
Conference Papers (Available on Advance Programs) (Sort by: Date Descending) |
|
Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MSS |
2005-01-27 11:15 |
Tokyo |
Univ. of Electro-Communications |
Linear Programming-based Computation of Petri Net Invariants with Supports Containing Specified Places Atsushi Iriboshi, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
A $P$-invariant of a Petri net $ N = (P,T,E,\alpha,\beta) $ is a
$|P|$-dimensional vector $Y$ with $Y^{tr}\cdot A = \ba... [more] |
CST2004-42 pp.19-24 |
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]
[Return to IEICE Web Page]
|