|
|
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 |
2008-08-05 10:45 |
Shizuoka |
Shizuoka University (Hamamatsu Campus), Faculty of Engineering |
On solution to the state equation for autonomous continuous Petri nets Tadashi Matsumoto, Masahiro Osogami (Fukui Univ. of Tech.), Seiichiro Moro (Univ. of Fukui) CST2008-21 |
Discrete Petri nets are basic models for concurrent systems and a firing count vector for transitions is one of key conc... [more] |
CST2008-21 pp.53-58 |
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 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 |
|
|
|
Copyright and reproduction :
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
|
[Return to Top Page]
[Return to IEICE Web Page]
|