Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
R |
2021-06-12 15:25 |
Online |
Online (Zoom) |
Performance evaluation of heterogenous cellular networks using stochastic Petri nets Zhiyi Zhu, Junjun Zheng (Ritsumeikan Univ.), Eiji Takimoto (H.I.T.) R2021-14 |
In recent decades, the explosive growth of cellular network technology results in an ongoing increase in data transmissi... [more] |
R2021-14 pp.19-24 |
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 |
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 |
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 |
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 |
SWIM |
2013-08-21 14:00 |
Miyagi |
Miyagi Univ. Satellite Campus |
Performance evaluation for transaction processing in cloud computing environments Hideyuki Kunieda, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2013-6 |
Cloud computing environments are widely accepted as computing platforms. However, it seems more difficult to estimate th... [more] |
SWIM2013-6 pp.1-7 |
MSS |
2013-01-22 14:25 |
Osaka |
Osaka Int. Convention Center |
On Polynomial Time Checking on Reachability in Sound Extended Free-Choice Workflow Nets Daiki Kano, Shingo Yamaguchi (Yamaguchi Univ.) MSS2012-48 |
There are two aspects of a workflow: definition and instance.
In this paper, we tackle verification of correctness of w... [more] |
MSS2012-48 pp.17-21 |
MSS |
2013-01-22 15:15 |
Osaka |
Osaka Int. Convention Center |
An Algorithm of Finding Dependent Subnets for Retention-Free Petri Nets Tadataka Matsumoto, Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.) MSS2012-50 |
In this paper, we examine a dependency relationship among transitions in the
retention-free Petri net model of a signal... [more] |
MSS2012-50 pp.27-32 |
KBSE |
2012-11-23 13:05 |
Ishikawa |
Kanazawa University |
An Agent Modelling Framework for Simulation by using Object-oriented Logic Petri Nets
-- Toward Unified Description of Collaborative Dynamics, Individual Behaviour, and Decision Making Process -- Tadashi Iijima (Keio Univ.) KBSE2012-53 |
This paper describes a proposal to adopt an object-oriented petri net model as a agent model description language for ag... [more] |
KBSE2012-53 pp.91-96 |
MSS, CAS |
2009-11-27 14:25 |
Aichi |
Nagoya University |
A Method to Determine Firing Times of Transitions for Timed Petri Nets by Introducing Stochastic Decision Rules Yoshimasa Miwa (Yamaguchi Univ.), Chen Li (Univ. of Tokyo), Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.) CAS2009-57 CST2009-30 |
In this paper, we introduce a new concept ``retention-free'' for timed Petri net, called retention-free Petri net, and g... [more] |
CAS2009-57 CST2009-30 pp.71-76 |
VLD |
2009-03-12 15:15 |
Okinawa |
|
Formal verification of GALS system designs using UPPAAL Kazuaki Kirita, Tomoyuki Yokogawa, Hisashi Miyazaki, Yoichiro Sato, Michiyoshi Hayase (Okayama Pref. Univ.) VLD2008-150 |
To design GALS (Globally Asynchronous Locally Synchronous) systems,
it is necessary to verify the correctness of behavi... [more] |
VLD2008-150 pp.141-146 |
MSS, CAS |
2004-11-04 16:35 |
Aichi |
Aichi Pref. Univ. |
On the Effect of Firing Inhibition in Finding Firing Sequences of Timed Petri Nets Tsuyoshi Tachibatake, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
The paper proposes several heuristic algorithms for the Timed Petri Net Maximum Scheduling Probrem (MAX TPS for short).T... [more] |
CAS2004-55 CST2004-34 pp.77-82 |