Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
CS, CAS, SIP |
2014-03-06 13:25 |
Osaka |
Osaka City University Media Center |
High-speed Petri Net Simulation Using Matrix Compression and GPGPU Takashi Kawamura, Yoichiro Sato, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Kazutami Arimoto (Okayama Prefectural Univ.) CAS2013-106 SIP2013-152 CS2013-119 |
We proposed a method of evaluating performance of large scale digital systems by modeling with the STPN and executing pe... [more] |
CAS2013-106 SIP2013-152 CS2013-119 pp.91-96 |
SS, MSS |
2014-01-30 17:05 |
Aichi |
|
Modeling and Analysis of Quantum Circuits by using Extended Petri Nets Kenta Muranushi, Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) MSS2013-60 SS2013-57 |
Quantum computers came to attention since the Shor's algorithm showed that they have the computing power superior to con... [more] |
MSS2013-60 SS2013-57 pp.53-58 |
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 |
SWIM |
2013-08-21 15:00 |
Miyagi |
Miyagi Univ. Satellite Campus |
Data Integrity in BASE Transactions Sachi Nishida, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2013-8 |
In cloud computing environments, traditional ACID properties are no more used, which intend to ensure rigorous data intr... [more] |
SWIM2013-8 pp.15-20 |
SS, KBSE |
2013-07-26 11:40 |
Hokkaido |
|
A Context Representation for Access Control Models by using Object-oriented Petri Nets Tadashi Iijima (Keio Univ.) SS2013-27 KBSE2013-27 |
This paper describes a proposal to adopt
a nets-within-nets semantics based object-oriented petri net model as
a con... [more] |
SS2013-27 KBSE2013-27 pp.85-90 |
MSS, SS |
2013-03-07 10:30 |
Fukuoka |
Shikanoshima |
Extract Superclass Problem of Workflow Nets and a Solution Method Sohma Nishi, Shingo Yamaguchi (Yamaguchi Univ.) MSS2012-75 SS2012-75 |
In this paper, we try to extract a common process from two workflow nets $N_{x}$ and $N_{y}$.
Business continuity requi... [more] |
MSS2012-75 SS2012-75 pp.91-96 |
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 14:50 |
Osaka |
Osaka Int. Convention Center |
On Analysis on Reachability to Unsafe Markings in Free Choice Workflow Nets Yuki Murakami, Ichiro Toyoshima, Shingo Yamaguchi (Yamaguchi Univ.) MSS2012-49 |
In the Free Choice Workflow net, the marking always reach to non-safety marking means that the workflow's instance can... [more] |
MSS2012-49 pp.23-26 |
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 |
SWIM |
2012-11-30 10:35 |
Tokyo |
Tokai Univ. Takanawa Campus(Tokyo) |
Cloud Transaction Equivalence Evaluation Using CPN Kazuki Tanaka, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2012-15 |
Cloud computing environments provide us with different form of transaction processing platforms, and therefore we need a... [more] |
SWIM2012-15 pp.1-6 |
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 |
2012-11-02 09:55 |
Iwate |
Iwate University |
A Study on the Modeling and Analysis in Model-Based Development Yusuke Chiba, Toshimitsu Inomata, Yoshikazu Arai, Shintaro Imai (Iwate Pref Univ.) CAS2012-58 MSS2012-38 |
In this paper, we considered an analytical method for UML models in the model based development. We attempted to transfo... [more] |
CAS2012-58 MSS2012-38 pp.47-51 |
VLD, CAS, MSS, SIP |
2012-07-02 13:40 |
Kyoto |
Kyoto Research Park |
An asynchronous tree arbiter with ability of concealing metastable operation duration time Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Kuniaki Ohyama, Yusuke Koyoshi, Tomoyuki Yokogawa, Yoichiro Sato (Okayama Prefectural Univ) CAS2012-9 VLD2012-19 SIP2012-41 MSS2012-9 |
In recent years, an exclusive access to a shared bus and memory for multiple processor cores occurs in many computer sys... [more] |
CAS2012-9 VLD2012-19 SIP2012-41 MSS2012-9 pp.49-54 |
KBSE |
2012-05-25 16:00 |
Kanagawa |
Keio University |
Description and Synchronization of Business Processes by an Object-Oriented Petri-Net Ryota Kaneko, Teruhiko Katayama, Tadashi Iijima (Keio Univ.) KBSE2012-4 |
We introduce the foundation of workflow management system based on Object-oriented Petri nets, and research projects rel... [more] |
KBSE2012-4 pp.19-23 |
MSS |
2012-03-08 15:40 |
Tokyo |
JAIST Tokyo Satellite |
Consideration on the token retention-free in timed Petri net model based on the signaling pathway characteristics Yuki Murakami, Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.) MSS2011-77 |
Retention-free Petri net is a timed Petri net such that total input and
total output token flows are equivalent at any ... [more] |
MSS2011-77 pp.29-34 |
MSS |
2012-03-08 16:05 |
Tokyo |
JAIST Tokyo Satellite |
A Translator of C to Petri Net Markup Language C2PNML and Its Application Examples Hiroaki Taniguchi, Shingo Yamaguchi, Takeshi Susaki (Yamaguchi Univ.) MSS2011-78 |
Petri net based analysis technique has been utilized for behavioral analysis of programs.A program to be analyzed needs ... [more] |
MSS2011-78 pp.35-40 |
MSS |
2012-03-09 11:10 |
Tokyo |
JAIST Tokyo Satellite |
[Invited Talk]
Fundamental Theory of Mathematical Systems Science Kohkichi Tsuji (Aichi Prefectural Univ.) MSS2011-83 |
In this paper, we look back on the history under the theme of continuation and growth from ``Technical Committee on Conc... [more] |
MSS2011-83 pp.57-59 |
SWIM |
2011-11-18 16:25 |
Tokyo |
Tokai Univ.(Takanawa) |
Consistency Analysis between UML State Machine and Activity Diagrams Masato Nomura, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2011-29 |
UML activity diagram represents the behavior of a process including interactions between objects. On the other hand, sta... [more] |
SWIM2011-29 pp.65-70 |
CAS, MSS |
2011-11-17 14:15 |
Yamaguchi |
Univ. of Yamaguchi |
A Method of Generating Incidence Matrices for High-Speed Petri Net Simulation Masafumi Kondo, Yusuke Koyoshi, Tomoyuki Yokogawa, Yoichiro Sato (Okayama Prefectural Univ) CAS2011-67 MSS2011-36 |
A high-speed method of evaluating performance of large scale digital systems by combination with analytical approaches ... [more] |
CAS2011-67 MSS2011-36 pp.19-24 |
CAS, MSS |
2011-11-17 14:50 |
Yamaguchi |
Univ. of Yamaguchi |
On some algorithm to verify trap ccontaining circuit nets. Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) CAS2011-68 MSS2011-37 |
Petri net is a graphical and mathematical modeling tool for concurrent systems.
Analysis of general Petri net requires ... [more] |
CAS2011-68 MSS2011-37 pp.25-30 |