Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS, MSS |
2014-01-30 17:05 |
Aichi |
|
Modeling and Analysis of Quantum Circuits by using Extended Petri Nets Kenta Muranushi, Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) MSS2013-60 SS2013-57 |
Quantum computers came to attention since the Shor's algorithm showed that they have the computing power superior to con... [more] |
MSS2013-60 SS2013-57 pp.53-58 |
MSS |
2012-03-09 11:10 |
Tokyo |
JAIST Tokyo Satellite |
[Invited Talk]
Fundamental Theory of Mathematical Systems Science Kohkichi Tsuji (Aichi Prefectural Univ.) MSS2011-83 |
In this paper, we look back on the history under the theme of continuation and growth from ``Technical Committee on Conc... [more] |
MSS2011-83 pp.57-59 |
CAS, MSS |
2011-11-17 14:50 |
Yamaguchi |
Univ. of Yamaguchi |
On some algorithm to verify trap ccontaining circuit nets. Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) CAS2011-68 MSS2011-37 |
Petri net is a graphical and mathematical modeling tool for concurrent systems.
Analysis of general Petri net requires ... [more] |
CAS2011-68 MSS2011-37 pp.25-30 |
MSS |
2011-01-20 10:55 |
Yamaguchi |
Kaikyo-Messe-Shimonoseki |
Suggestion for Control of Multi-Car Elevators Intending Rolls between shafts Hidetomo Suzuki, Daiichi Sugiyama (Aichi Prefectural Grad.), Atsushi Ohta, Kohkichi Tsuji (Aichi Prefectural Univ.) CST2010-62 |
In recent years, Multi-Car Elevators with cars in a shaft have been needed in the field of high-rise building.Some contr... [more] |
CST2010-62 pp.21-24 |
MSS |
2011-01-20 16:00 |
Yamaguchi |
Kaikyo-Messe-Shimonoseki |
[Panel Discussion]
Activity of Technical Committee of Concurrent Systems Technology
-- Messages from Successive Chairpersons -- Kenji Onaga (The Univ. of Ryukyus), Tadashi Matsumoto (Fukui Univ.), Masaru Naniwada (Shizuoka Sangyo Univ.), Toshimasa Watanabe (Hiroshima Univ.), Yoichi Nagao (Kawasaki Heavy Industries), Haruo Hasegawa (Oki Consulting Solutions), Hisao Shiizuka (Kogakuin Univ.), Kohkichi Tsuji (Aichi Prefecture Univ.), Naoshi Uchihira (Toshiba), Qi-Wei Ge (Yamaguchi Univ.), Toshimitsu Ushio (Osaka Univ.) CST2010-67 |
The committee of Concurrent System Technology(CST) will be renamed as the committee of Mathematical Systems Science and ... [more] |
CST2010-67 pp.45-48 |
CAS, MSS, VLD, SIP |
2010-06-22 12:30 |
Hokkaido |
Kitami Institute of Technology |
Polynomial Time Solvability of Liveness Problem of Structurally Weakly Persistent Net Atsushi Ohta (Aichi Pref. Univ.), GuanJiu Liu (Tongji Univ.), Kohkichi Tsuji (Aichi Pref. Univ.), ChangJun Jiang (Tongji Univ.), Daniel Y. Chao (Natl. Chengchi Univ.) CAS2010-23 VLD2010-33 SIP2010-44 CST2010-23 |
Petri net is a graphical and mathematical modeling tool for concurrent systems. Liveness problem is one of the important... [more] |
CAS2010-23 VLD2010-33 SIP2010-44 CST2010-23 pp.127-132 |
MSS, CAS |
2009-11-26 10:45 |
Aichi |
Nagoya University |
On a new model for Quantum Computers by using Quantum Petri Nets Shinsuke Ito, Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) CAS2009-45 CST2009-18 |
Quantum computers have been expected to run faster than classical ones since the algorithm for prime factorization etc. ... [more] |
CAS2009-45 CST2009-18 pp.1-6 |
MSS |
2009-06-04 15:15 |
Osaka |
Setsunan University, Osaka Center |
Modeling and Analysis of Quantum Turing Machine by using Coloured Quantum Petri Nets Shinsuke Ito (Graduate School, Aichi Pref. Univ.), Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) CST2009-10 |
Quantum computers have been expected to run faster than classical ones since the algorithm for prime factorization and e... [more] |
CST2009-10 pp.53-58 |
MSS |
2008-08-04 15:05 |
Shizuoka |
Shizuoka University (Hamamatsu Campus), Faculty of Engineering |
Analysis of Communication Protocol using Net Model Masahiro Ueda (TTDC), Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) CST2008-16 |
Petri net is a graphical and mathematical modeling tool for
concurrent systems.In this paper, Petri net model of
com... [more] |
CST2008-16 pp.23-28 |
MSS |
2008-06-03 14:30 |
Aichi |
Nagoyo University, Noyori Conference Hall |
Modeling of Quantum Computer by using Quantum Petri Net Shinsuke Ito, Atsushi Ohta, Kohkichi Tsuji (Aichi Prefectural Univ.) CST2008-8 |
Quantum computer has been expected to run faster than classical ones. In reserch of qunatum computer, various classical ... [more] |
CST2008-8 pp.19-24 |
MSS |
2006-06-02 10:50 |
Ishikawa |
Ishikawa Science Park |
Reachability Problem of Marked Graphs with Batch Processing Arcs Nami Mizuno (DENSOTECHNO), Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) |
[more] |
CST2006-8 pp.13-18 |
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 |
2005-07-01 10:25 |
Okinawa |
Jichi Kaikan(Naha) |
Structure and analysis of Petri net model for call-back problem in CORBA Yosuke Takayama (UNIADEX), Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) |
Petri net is an effective model for concurrent systems. Authors have studied call-back problem in distributed object pro... [more] |
CST2005-7 pp.7-12 |
MSS, CAS |
2004-11-04 09:30 |
Aichi |
Aichi Pref. Univ. |
An application of behavioral traps to liveness monotonicity of POC nets Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) |
Petri net is an effective model for concurrent systems. Siphon and trap give an effective tool for liveness analysis of ... [more] |
CAS2004-42 CST2004-21 pp.1-5 |
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 |