number | title/author |
---|---|
M3-1-1 | A Study on Synthesizing State Machines from Multiple Communication Diagrams Toshiki Kinoshita, Toshiyuki Miyamoto , |
M3-1-2 | A Petri Net Model of Internal Organs and Pericardium Meridian Based on the Acupuncture Efficacy Masafumi Nishida, Ren Wu, Mitsuru Nakata, Qi-Wei Ge , |
M3-1-3 | Computational Models for the Design of Artificial Genetic Circuits of RS- and JK-FlipFlops Manabu Sugii, Masashi Kubota, Hiroshi Matsuno , |
M3-1-4 | Implementation and Evaluation of Similar Subgraph Retrieving Hiroaki Kodama, Mitsuru Nakata, Qi-Wei Ge, Makoto Yoshimura , |
M3-1-5 | On Computation of Association Coefficients of Phonetic Symbols Based on Basic Vocabulary Ren Wu, Yuya Matsuura, Hiroshi Matsuno , |
M3-1-6 | Automated Generation of Mixed Integer Programming for Job-shop Scheduling Problems based on Petri Nets Ryosuke Ushijima, Andrea Veronica Porco, Hideki Kinjo, Morikazu Nakamura , |