Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
CAS, SIP, VLD, MSS |
2022-06-17 15:20 |
Aomori |
Hachinohe Institute of Technology (Primary: On-site, Secondary: Online) |
Petri Net-based QUBO Model Formulation for Flow Shop Scheduling with Setup Changes Takuya Shinjo, Morikazu Nakamura (Univ. of the Ryukyus), Norihiko Itani (Fujitsu Ltd.) CAS2022-17 VLD2022-17 SIP2022-48 MSS2022-17 |
This paper proposes a formulation method of quadratic unconstrained binary optimization (QUBO) model for flow-shop sched... [more] |
CAS2022-17 VLD2022-17 SIP2022-48 MSS2022-17 pp.90-95 |
CAS, SIP, VLD, MSS |
2022-06-17 15:45 |
Aomori |
Hachinohe Institute of Technology (Primary: On-site, Secondary: Online) |
QUBO Model Formulation based on Petri net Behavior for Combinatorial Optimization Problems Keisuke Tokuhira, Morikazu Nakamura, Mitsunaga Kinjo, Katsuhiko Shimabukuro (Univ. of the Ryukyus) CAS2022-18 VLD2022-18 SIP2022-49 MSS2022-18 |
This paper proposes a method to generate Ising or QUBO models based on Petri net behavioral properties for combinatorial... [more] |
CAS2022-18 VLD2022-18 SIP2022-49 MSS2022-18 pp.96-101 |
MSS, NLP |
2022-03-29 11:10 |
Online |
Online |
Verification of a Human Body Model of Traditional Chinese Medicine Quan Gan (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) MSS2021-72 NLP2021-143 |
Acupuncture and moxibustion treatment in traditional Chinese medicine is effective for ahead sick and intractable diseas... [more] |
MSS2021-72 NLP2021-143 pp.89-94 |
NS, NWS (Joint) |
2022-01-28 09:25 |
Online |
Online |
Evaluating the Effects of Different Handover Algorithms for Het-Nets Using Petri Nets Zhiyi Zhu, Ohta Chikara, Tomio Kamada (Kobe Univ.), Eiji Takimoto (H.I.T.), Junjun Zheng (Ritsumeikan Univ.) NS2021-113 |
The three main approaches commonly used for performance evaluation of communication systems are measurement, simulation,... [more] |
NS2021-113 pp.19-24 |
MSS, CAS, IPSJ-AL [detail] |
2021-11-18 13:00 |
Online |
Online |
Proposal of a Human Body Model of Traditional Chinese Medicine Including Qi, Blood, and Fluid Quan Gan (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) CAS2021-44 MSS2021-24 |
Acupuncture and moxibustion treatment in traditional Chinese medicine is effective for ahead sick and intractable diseas... [more] |
CAS2021-44 MSS2021-24 pp.40-45 |
MSS, CAS, IPSJ-AL [detail] |
2021-11-19 10:30 |
Online |
Online |
MILP Formulation for Optimal Resource Assignment Problems with Multiple Resource Requirements based on Timed Colored Petri Nets Tomoya Ushihara, Morikazu Nakamura (Univ. of the Ryukyus) CAS2021-47 MSS2021-27 |
We consider a mixed-integer linear programming (MILP) generation based on colored timed Petri nets for optimal resource ... [more] |
CAS2021-47 MSS2021-27 pp.58-63 |
MSS, CAS, IPSJ-AL [detail] |
2021-11-19 10:55 |
Online |
Online |
Ising Model Formulation for Job-shop Scheduling Problems based on Petri Nets Modeling Kohei Kaneshima, Morikazu Nakamura (Univ. of the Ryukyus) CAS2021-48 MSS2021-28 |
Quantum annealing has been drawing attention as a fast algorithm for solving combinatorial optimization problems.
The o... [more] |
CAS2021-48 MSS2021-28 pp.64-69 |
MSS, CAS, IPSJ-AL [detail] |
2020-11-26 10:45 |
Online |
Online |
A Proposal of Support System for Acupuncture and Moxibustion Treatment in Traditional Chinese Medicine Quan Gan (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) CAS2020-26 MSS2020-18 |
Acupuncture and moxibustion treatment is a treatment method that improves the flow of Qi and Blood by stimulating acupun... [more] |
CAS2020-26 MSS2020-18 pp.40-43 |
MSS, NLP (Joint) |
2020-03-10 09:25 |
Aichi |
(Cancelled but technical report was issued) |
Optimal Resource Allocation for Distributed Computing Environments based on Integer Programming Generation Shoya Kyan, Tomoya Uchihara, Morikazu Nakamura (Univ. of the Ryukyus) MSS2019-64 |
This paper considers resource assignment problems in distributed computing environments based on the automatic generatio... [more] |
MSS2019-64 pp.37-42 |
ICM |
2020-03-02 09:40 |
Okinawa |
Ohama Nobumoto Memorial Hall (Cancelled but technical report was issued) |
[Encouragement Talk]
A service graph construction method based on distributed tracing data of multiple cooperation services. Masaru Sakai, Kensuke Takahashi, Satoshi Kondoh (NTT) ICM2019-42 |
In recent years, a microservice architecture has been widely adopted by service providers. Microservices provide various... [more] |
ICM2019-42 pp.5-10 |
SS, MSS |
2020-01-15 11:20 |
Hiroshima |
|
Modeling of Prediction Processes based on Learning Colored Petri Nets Ibuki Kawamitsu, Morikazu Nakamura (Univ. of the Ryukyus) MSS2019-53 SS2019-37 |
This paper presents a modeling approach to visualize the prediction process of machine learning based on learning colore... [more] |
MSS2019-53 SS2019-37 pp.73-78 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-12 15:50 |
Shizuoka |
|
Stability Subnet Detection of Petri Net by Circuit Flow-Matrix Transformation Yojiro Harie, Katsumi Wasaki (Shinshu Univ.) CAS2018-64 MSS2018-40 |
Petri net is a graphical and mathematical modeling tool describes distributed systems.
For dynamic analysis of Petri ne... [more] |
CAS2018-64 MSS2018-40 pp.37-42 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-12 16:15 |
Shizuoka |
|
A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets Kohei Fujimori, Yojiro Harie, Katsumi Wasaki (Shinshu Univ.) CAS2018-65 MSS2018-41 |
State space generator is one of the analysis functions of Petri net
design tool HiPS (Hierarchical Petri net Simulator)... [more] |
CAS2018-65 MSS2018-41 pp.43-47 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-12 16:40 |
Shizuoka |
|
A Petri net model for heart rate variability biofeedback Sachie Shinzato, Morikazu Nakamura (Univ. of the Ryujyus), Hideki Kinjo (Okinawa Univ.), Itsuki Kunita (Univ. of the Ryujyus) CAS2018-66 MSS2018-42 |
We propose a Petri net model for the heart rate variability biofeedback.
The model focusses on the Respiratory Sinus A... [more] |
CAS2018-66 MSS2018-42 pp.49-54 |
MSS, CAS, IPSJ-AL [detail] |
2018-11-13 11:00 |
Shizuoka |
|
Study on Mid-term Planning of Radiographer Scheduling Problem Toshiyuki Miyamoto, Kuniyuki Hidaka (Osaka Univ.) CAS2018-69 MSS2018-45 |
Those who perform diagnosis and treatment of patients using medical imaging diagnostic apparatuses such as MRI and CT in... [more] |
CAS2018-69 MSS2018-45 pp.89-93 |
R |
2018-10-26 14:25 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A Note on Perfect Sampling for Stochastic Petri Nets Hiroyuki Okamura, Kazuya Morihara, Tadashi Dohi (Hiroshima Univ.) R2018-35 |
In this paper, we consider the perfect sampling for stochastic Petri nets. The perfect simulation is a technique to draw... [more] |
R2018-35 pp.7-12 |
MSS, NLP (Joint) |
2018-03-13 15:20 |
Osaka |
|
Simulation analysis of diauxic shift of E.coli using a global scale modeling method for metabolic networks Masashi Kubota, Koumei Arima, Ayaka Sugii, Manabu Sugii, Hiroshi Matsuno (Yamaguchi Univ.) MSS2017-85 |
Metabolism is a network of intracellular reactions common to many organisms. Simulation analysis of metabolic pathways b... [more] |
MSS2017-85 pp.41-46 |
SS, MSS |
2018-01-18 15:05 |
Hiroshima |
|
Deadline Assignment Optimization Method Using Extended Time Petri Nets for Real-Time Multitask Distributed Systems Sharing Processors with EDF Scheduling Reon Matsuoka, Akio Nakata (Hiroshima City Univ.) MSS2017-56 SS2017-43 |
In the development of embedded software which requires high reliability satisfaction of hard requirements for both compu... [more] |
MSS2017-56 SS2017-43 pp.53-58 |
SS, MSS |
2018-01-18 16:35 |
Hiroshima |
|
Construction of a Petri Net Model of Internal Organs and Twelve Principal Meridians Based on Traditional Chinese Medicine Quan Gan, Yuu Takahashi (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) MSS2017-59 SS2017-46 |
This paper focuses on constructing a Petri net model of a human body meridians.
Till now, we have proposed a Petri net... [more] |
MSS2017-59 SS2017-46 pp.71-76 |
SS, MSS |
2018-01-18 17:00 |
Hiroshima |
|
Construction of a Universal Petri Net Model of Human Body and Meridian System and Its Simulation Data Aggregation Thi-Thuy Nguyen, Yuu Takahashi (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) MSS2017-60 SS2017-47 |
This paper aims to construct a universal Petri net model of human body and meridian system. We have built a Petri net mo... [more] |
MSS2017-60 SS2017-47 pp.77-82 |