number | title/author |
---|---|
F1-1 | Efficient Deadlock Detection in FMS based on the Transitive Matrix of Resource Share Places Jongwoog Kim, Jongkun Lee, |
F1-2 | Modeling of Quantum Computer by using Quantum Petri Net Shinsuke Ito, Atsushi Ohta, Kohkichi Tsuji, |
F1-3 | A Soundness Verification Tool Based on the SPIN Model Checker for Acyclic Workflow Nets Shingo Yamaguchi, Munenori Yamaguchi, Minoru Tanaka, |
F1-4 | A 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-5 | Reachability Problem of State Machines with Batch Processing Arcs Nami Mizuno, Atsushi Ohta, Kohkichi Tsuji, |