The 23rd International Technical Conference on Circuits/Systems, Computers and Communications

number title/author
F1-1Efficient Deadlock Detection in FMS based on the Transitive Matrix of Resource Share Places
Jongwoog Kim, Jongkun Lee,
F1-2Modeling of Quantum Computer by using Quantum Petri Net
Shinsuke Ito, Atsushi Ohta, Kohkichi Tsuji,
F1-3A Soundness Verification Tool Based on the SPIN Model Checker for Acyclic Workflow Nets
Shingo Yamaguchi, Munenori Yamaguchi, Minoru Tanaka,
F1-4A Model of Multiprocessor System with Communication Delays and Its Scheduling Method
Takashi Otsuka, Hironori Youhata, Qi-Wei Ge, Mitsuru Nakata, Yuu Moriyama, Hirotoshi Tonou,
F1-5Reachability Problem of State Machines with Batch Processing Arcs
Nami Mizuno, Atsushi Ohta, Kohkichi Tsuji,