Committee 
Date Time 
Place 
Paper Title / Authors 
Abstract 
Paper # 
SS, MSS 
20140130 17:05 
Aichi 

Modeling and Analysis of Quantum Circuits by using Extended Petri Nets Kenta Muranushi, Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) MSS201360 SS201357 
Quantum computers came to attention since the Shor's algorithm showed that they have the computing power superior to con... [more] 
MSS201360 SS201357 pp.5358 
MSS 
20120309 11:10 
Tokyo 
JAIST Tokyo Satellite 
[Invited Talk]
Fundamental Theory of Mathematical Systems Science Kohkichi Tsuji (Aichi Prefectural Univ.) MSS201183 
In this paper, we look back on the history under the theme of continuation and growth from ``Technical Committee on Conc... [more] 
MSS201183 pp.5759 
CAS, MSS 
20111117 14:50 
Yamaguchi 
Univ. of Yamaguchi 
On some algorithm to verify trap ccontaining circuit nets. Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) CAS201168 MSS201137 
Petri net is a graphical and mathematical modeling tool for concurrent systems.
Analysis of general Petri net requires ... [more] 
CAS201168 MSS201137 pp.2530 
MSS 
20110120 10:55 
Yamaguchi 
KaikyoMesseShimonoseki 
Suggestion for Control of MultiCar Elevators Intending Rolls between shafts Hidetomo Suzuki, Daiichi Sugiyama (Aichi Prefectural Grad.), Atsushi Ohta, Kohkichi Tsuji (Aichi Prefectural Univ.) CST201062 
In recent years, MultiCar Elevators with cars in a shaft have been needed in the field of highrise building．Some contr... [more] 
CST201062 pp.2124 
MSS 
20110120 16:00 
Yamaguchi 
KaikyoMesseShimonoseki 
[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), QiWei Ge (Yamaguchi Univ.), Toshimitsu Ushio (Osaka Univ.) CST201067 
The committee of Concurrent System Technology(CST) will be renamed as the committee of Mathematical Systems Science and ... [more] 
CST201067 pp.4548 
CAS, MSS, VLD, SIP 
20100622 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.) CAS201023 VLD201033 SIP201044 CST201023 
Petri net is a graphical and mathematical modeling tool for concurrent systems. Liveness problem is one of the important... [more] 
CAS201023 VLD201033 SIP201044 CST201023 pp.127132 
MSS, CAS 
20091126 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.) CAS200945 CST200918 
Quantum computers have been expected to run faster than classical ones since the algorithm for prime factorization etc. ... [more] 
CAS200945 CST200918 pp.16 
MSS 
20090604 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.) CST200910 
Quantum computers have been expected to run faster than classical ones since the algorithm for prime factorization and e... [more] 
CST200910 pp.5358 
MSS 
20080804 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.) CST200816 
Petri net is a graphical and mathematical modeling tool for
concurrent systems.In this paper, Petri net model of
com... [more] 
CST200816 pp.2328 
MSS 
20080603 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.) CST20088 
Quantum computer has been expected to run faster than classical ones. In reserch of qunatum computer, various classical ... [more] 
CST20088 pp.1924 
MSS 
20060602 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] 
CST20068 pp.1318 
MSS 
20050822 13:25 
Aichi 
Aichi Prefectural University 
Enumerating basic siphons in Petri net using FourierMotzkin 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] 
CST200515 pp.712 
MSS 
20050701 10:25 
Okinawa 
Jichi Kaikan(Naha) 
Structure and analysis of Petri net model for callback 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 callback problem in distributed object pro... [more] 
CST20057 pp.712 
MSS, CAS 
20041104 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] 
CAS200442 CST200421 pp.15 
MSS 
20040805 14:50 
Hokkaido 
Hokkai Gakuen University 
Analysis of callback problem in CORBA using Petri nets Yousuke Takayama, Atsushi Ohta, Kohkichi Tsuji (Aichi Prefectural Univ.) 
We analyze the callback problem generated on the distributed object system.
In this paper, we model CORBA which is the... [more] 
CST200418 pp.1116 