Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS, MSS |
2018-01-19 10:15 |
Hiroshima |
|
On Modeling of Infection Phenomenon and Evaluation of Countermeasure for IoT Malware Mirai by Agent-Oriented Petri Net PN2 Shingo Yamaguchi, Hiroaki Tanaka (Yamaguchi Univ.) MSS2017-63 SS2017-50 |
In September 2016, an unprecedented massive DDoS attack was launched by IoT devices. This attack was caused by a new typ... [more] |
MSS2017-63 SS2017-50 pp.91-95 |
CAS, MSS, IPSJ-AL [detail] |
2017-11-17 16:05 |
Tokyo |
|
Colored Petri Net based Automatic Generation of Mathematical Programming for Optimum Resource Assignment Problems Ryosuke Ushijima (Univ. of the Ryukyus), Takeshi Tengan (Meio Univ.), Andrea Veronica Porco, Morikazu Nakamura (Univ. of the Ryukyus) CAS2017-61 MSS2017-45 |
This paper proposes a method for automatic generation of mixed integer linear programming problems for optimization of r... [more] |
CAS2017-61 MSS2017-45 pp.141-145 |
MSS |
2017-03-17 10:10 |
Shimane |
Shimane Univ. |
Dependency Analysis of Transitions in Retention-Free Petri Net Atsushi Mizuta, Qi-Wei GE, Hiroshi Matsuno (Yamaguchi Univ.) MSS2016-93 |
This paper aims to derive the transitions
with dependent relation one another in retention-free Petri net.
Firstly, ... [more] |
MSS2016-93 pp.67-72 |
MSS |
2017-03-17 10:30 |
Shimane |
Shimane Univ. |
An Aspect-Oriented Approach to Tailor-Made Service Design Taku Ogawa, Muhammad Syafiq Bin Ab Malek, Shingo Yamaguchi (Yamaguchi Univ.) MSS2016-94 |
Nowadays, the needs and requests for services have become diversified. In this research,we proposed a method of separati... [more] |
MSS2016-94 pp.73-76 |
MSS, CAS, IPSJ-AL [detail] |
2016-11-24 13:25 |
Hyogo |
Kobe Institute of Computing |
Development and evaluation of on-the-fly model checking for a Petri net verification tool (HiPS) Yojiro Harie, Katsumi Wasaki (Shinshu Univ.) CAS2016-63 MSS2016-43 |
This paper proposes an On-the-fly Fluent Linear Temporal Logic (FLTL) model checker using state space generation based o... [more] |
CAS2016-63 MSS2016-43 pp.31-35 |
MSS |
2016-03-03 10:50 |
Yamaguchi |
KAIKYO MESSE SHIMONOSEKI |
Construction of Internal Organs of Petri Net Model Based on the Acupuncture Efficacy of Meridians Masafumi Nishida, Yuta Murai (Yamaguchi Univ), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ) MSS2015-68 |
This paper aims at constructing a model of the internal organs including
San Jiao and meridians, and its simulation mo... [more] |
MSS2015-68 pp.5-10 |
MSS |
2016-03-03 15:50 |
Yamaguchi |
KAIKYO MESSE SHIMONOSEKI |
Properties of Uniqueness on Dependent Shrink for Retention-Free Petri Nets Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.) MSS2015-75 |
We have investigated the relation of transitions based on dependency of transitions and proposed dependent shrink algori... [more] |
MSS2015-75 pp.41-46 |
MSS |
2016-03-03 16:15 |
Yamaguchi |
KAIKYO MESSE SHIMONOSEKI |
A Colored Hybrid Petri Net Model for the Delta-Notch Dependent Boundary Formation in the Drosophila Large Intestine Fei Liu, Hiroshi Matsuno, Ryutaro Murakami (Yamaguchi Univ.) MSS2015-76 |
The modeling of the boundary formation in the Drosophila large intestine is a typical mutiscale problem, and it is eithe... [more] |
MSS2015-76 pp.47-52 |
SS, MSS |
2016-01-25 15:45 |
Ishikawa |
Shiinoki-Geihin-Kan |
On-the-fly Model Checker for a Petri Net Verification Tool(HiPS) by using Replacement LTL Formula to Event-Based Automaton Yojiro Harie, Katsumi Wasaki (Shinshu Univ.) MSS2015-46 SS2015-55 |
This paper proposes an On-the-fly Linear Temporal Logic (LTL) model checker using state space generation based on the Pe... [more] |
MSS2015-46 SS2015-55 pp.63-68 |
SS, MSS |
2016-01-26 11:55 |
Ishikawa |
Shiinoki-Geihin-Kan |
Modeling and Performance Verification of Embedded Software Sharing Resources with Least Laxity First Schedulers Using Extended Time Petri Nets Takafumi Nakamura, Akio Nakata (Hiroshima City Univ.) MSS2015-59 SS2015-68 |
In the development of embedded software which requires high reliability satisfaction of hard requirements for both compu... [more] |
MSS2015-59 SS2015-68 pp.135-140 |
SS |
2015-05-11 16:30 |
Kumamoto |
Kumamoto University |
Modeling and Performance Verification of Embedded Software in Multiprocessor Environment Using Extended Time Petri Nets Takafumi Nakamura, Akio Nakata (Hiroshima City Univ.) SS2015-7 |
In the development of embedded software which requires high reliability satisfaction of hard requirements for both compu... [more] |
SS2015-7 pp.33-37 |
MSS |
2015-03-05 17:05 |
Ishikawa |
IT Business Plaza Musashi |
Equivalent Transformation of Retention-Free Petri Net by Dependent Shrink Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.) MSS2014-98 |
We have investigated the properties of dependent shrink based on dependency of transitions in retention-free Petri net m... [more] |
MSS2014-98 pp.41-46 |
MSS, SS |
2015-01-27 10:00 |
Tottori |
|
Extract Superclass Problem of Workow Nets and Refining the Solution Sohma Nishi, Shingo Yamaguchi (Yamaguchi Univ.) MSS2014-83 SS2014-47 |
We can model a common behavior of two or more workflows as a superclass of them under behavioral inheritance. We have pr... [more] |
MSS2014-83 SS2014-47 pp.85-90 |
CAS, MSS, IPSJ-AL [detail] |
2014-11-20 11:10 |
Okinawa |
Nobumoto Ohama Memorial Hall (Ishigaki island) |
Modeling of Traffic Congestion on Airport Surface Using Petri Nets Kenji Uehara (MLIT/JAIST), Kunihiko Hiraishi, Koichi Kobayashi (JAIST) CAS2014-90 MSS2014-54 |
With increasing demands for air transportation, large airports in metropolitan areas, such as Tokyo and Narita internati... [more] |
CAS2014-90 MSS2014-54 pp.17-22 |
CAS, MSS, IPSJ-AL [detail] |
2014-11-21 13:50 |
Okinawa |
Nobumoto Ohama Memorial Hall (Ishigaki island) |
A Petri Net Model of Internal Organs and Meridian Based on Oriental Medicine Qi-Wei Ge, Misato Maesaka (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College)), Mitsuru Nakata (Yamaguchi Univ.) CAS2014-103 MSS2014-67 |
This paper aims at constructing a model of internal organs (five viscera and six bowels) and meridian, as well as their ... [more] |
CAS2014-103 MSS2014-67 pp.141-146 |
SWIM |
2014-08-21 15:40 |
Kyoto |
Ryukoku Univ.Ouniya Canvas |
A Comprehensive Workbench for BASE Transaction Evaluation Sachi Nishida, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2014-13 |
It has been considered that transaction processing is not suitable for cloud. One of the main reasons is the differences... [more] |
SWIM2014-13 pp.29-34 |
SWIM |
2014-08-21 16:05 |
Kyoto |
Ryukoku Univ.Ouniya Canvas |
Data Integrity in BASE Transactions Sachi Nishida, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2014-14 |
Google App Engine (GAE) is one of the most popular PAAS (Platform As A Service) type cloud computing environments,
whic... [more] |
SWIM2014-14 pp.35-39 |
MSS |
2014-03-06 13:55 |
Ehime |
Ehime Univ. |
A supervisory control based approach to protocol inheritance preserving soundization for workflow nets with TP-handles Soichiro Nagano, Shingo Yamaguchi (Yamaguchi Univ.) MSS2013-76 |
In this paper, we propose how to soundize free-choice workflow nets having TP-handles.
Such a workflow net usually has ... [more] |
MSS2013-76 pp.7-12 |
MSS |
2014-03-07 11:10 |
Ehime |
Ehime Univ. |
Properties of Dependent Subnets in a Retention-Free Petri Net Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.) MSS2013-89 |
(To be available after the conference date) [more] |
MSS2013-89 pp.77-82 |
MSS |
2014-03-07 15:15 |
Ehime |
Ehime Univ. |
A Petri Net Model of Internal Organs Based on Yin-Yang and Five-Elements Theory of Oriental Medicine Eiji Nagata (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) MSS2013-95 |
In oriental medicine (traditional Chinese medicine), internal organs
include five viscera and six bowels. Five viscera... [more] |
MSS2013-95 pp.113-118 |