Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
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-06 14:45 |
Ehime |
Ehime Univ. |
On Development and Test Capability of Eclair: Elevator Group Controller Model Checking System Based on S-ring and SPIN Kazuya Nagafuji, Shingo Yamaguchi (Yamaguchi Univ.) MSS2013-78 |
In this paper, we show an elevator group controller model checking system developed by us, named Éclair, and its test ca... [more] |
MSS2013-78 pp.19-24 |
MSS |
2014-03-06 15:45 |
Ehime |
Ehime Univ. |
A CPN Tools Based Method of Solving Multi-Car Multi-Shaft Elevator Design Problem and Its Consideration Norihide Ishida, Shingo Yamaguchi (Yamaguchi Univ.) MSS2013-81 |
A large building has many elevators. It is more important to study elevator design problem. The transportation capabilit... [more] |
MSS2013-81 pp.37-42 |
MSS |
2014-03-06 16:10 |
Ehime |
Ehime Univ. |
A Proposal of a Simplified Mathemetical Model to Evaluate Group Control Algorithms of Multi-Car Single-Shaft Elevators Syunya Ishimaru, Shingo Yamaguchi (Yamaguchi Univ.) MSS2013-80 |
In this paper, we proposed a simplied mathematical model to evaluate group controll algorithms for multi-car single-sha... [more] |
MSS2013-80 pp.31-36 |
MSS |
2014-03-07 14:50 |
Ehime |
Ehime Univ. |
On Properties and a Decision Method of Bridge-Less Workflow Nets Shinsuke Dohi, Shingo Yamaguchi (Yamaguchi Univ.) MSS2013-94 |
[more] |
MSS2013-94 pp.107-111 |
SS, MSS |
2014-01-30 15:50 |
Aichi |
|
A polynomial time conversion method of footprints from structure of workflow nets and its application Sohma Nishi, Shingo Yamaguchi (Yamaguchi Univ) MSS2013-57 SS2013-54 |
[more] |
MSS2013-57 SS2013-54 pp.35-40 |
SS, MSS |
2014-01-30 16:40 |
Aichi |
|
On Polynomial Time Checking on Reachability in Sound Cyclic Well-Structured Work Yuan Qu, Shingo Yamaguchi (Yamaguchi Univ.) MSS2013-59 SS2013-56 |
[more] |
MSS2013-59 SS2013-56 pp.47-52 |
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, CAS |
2012-11-02 13:55 |
Iwate |
Iwate University |
On Extension and Soundness of Acyclic Well-Structured Work Huan Wu, Shingo Yamaguchi (Yamaguchi Univ) CAS2012-63 MSS2012-43 |
[more] |
CAS2012-63 MSS2012-43 pp.75-79 |
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-08 16:30 |
Tokyo |
JAIST Tokyo Satellite |
A Modeling Method of Single-Car Multi-Shaft Elevator Systems on CPN Tools and Its Application Norihide Ishida, Shingo Yamaguchi, Ryohei Ueda (Yamaguchi Univ.) MSS2011-79 |
With the diversication of market needs for elevator systems, model-based research on the operation is becoming more and... [more] |
MSS2011-79 pp.41-46 |
SS, MSS |
2012-01-26 13:45 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
On Polynomial Time Verification of Protocol Inheritance between Extended Free Choice Workflow Nets and Their Subnets Tomohiro Hirakawa, Shingo Yamaguchi (Yamaguchi Univ.) MSS2011-60 SS2011-45 |
A workflow may be changed to adapt to market growth, legal reform, and so on.
In that case, the new workflow has to pre... [more] |
MSS2011-60 SS2011-45 pp.33-38 |
CAS, MSS |
2011-11-17 15:15 |
Yamaguchi |
Univ. of Yamaguchi |
Simple Well-Structured Workflow Nets and Its Properties Bozhong Sun, Shingo Yamaguchi (Yamaguchi Univ.) CAS2011-77 MSS2011-46 |
Acyclic well-structured workflow net is a subclass of acyclic extended free choice workflow net. We are working on a pro... [more] |
CAS2011-77 MSS2011-46 pp.77-82 |
CAS, MSS |
2011-11-18 11:15 |
Yamaguchi |
Univ. of Yamaguchi |
On Reachability Verification for Acyclic Well-Structured Work Shinji Hamano, Shingo Yamaguchi (Yamaguchi Univ.) CAS2011-78 MSS2011-47 |
Workflow nets are making great contributions for modeling and analysis of workflows.
In this paper, we tackle verificat... [more] |
CAS2011-78 MSS2011-47 pp.83-87 |
MSS, CAS, VLD, SIP |
2011-07-01 09:40 |
Okinawa |
Okinawa-Ken-Seinen-Kaikan |
On a Condition for Refactoring of Acyclic Extended Free Choice Workflow Nets to Acyclic Well-Structured Workflow Nets Bozhong Sun, Shingo Yamaguchi (Yamaguchi Univ.) CAS2011-19 VLD2011-26 SIP2011-48 MSS2011-19 |
[more] |
CAS2011-19 VLD2011-26 SIP2011-48 MSS2011-19 pp.109-113 |
MSS, CAS, VLD, SIP |
2011-07-01 10:50 |
Okinawa |
Okinawa-Ken-Seinen-Kaikan |
[Panel Discussion]
Toward new developments of System and Signal Processing Subsociety Nagisa Ishiura (Kwansei Gakuin Univ.), Mitsunori Makino (Chuo Univ.), Kimiyoshi Usami (Shibaura Institute of Technology), Isao Yamada (Tokyo Institute of Technology), Kunihiko Hiraishi (JAIST), Shingo Yamaguchi (Yamaguchi Univ.), Masaki Nakamura (Toyama Pref. Univ.) CAS2011-22 VLD2011-29 SIP2011-51 MSS2011-22 |
[more] |
CAS2011-22 VLD2011-29 SIP2011-51 MSS2011-22 p.127 |
MSS |
2011-01-20 09:35 |
Yamaguchi |
Kaikyo-Messe-Shimonoseki |
CST solution competition 2010
-- Optimization of Multi-Car Elevator Controllers -- Masaki Nakamura (Kanazawa Univ.), Tatsushi Yamasaki (Setsunan Univ.), Shingo Yamaguchi (Yamaguchi Univ.), Toshiyuki Miyamoto (Osaka Univ.), Naoshi Uchihira (Toshiba Corp.) CST2010-57 |
[more] |
CST2010-57 pp.1-4 |
MSS |
2011-01-21 09:50 |
Yamaguchi |
Kaikyo-Messe-Shimonoseki |
On Polynomial Time Soundness-Based Verification of Behavioral Inheritance for Parallel Synchronized Interworkflows Tomohiro Hirakawa, Shingo Yamaguchi (Yamaguchi Univ.) CST2010-70 |
An interworkflow is a workflow obtained by connecting two or more workflows. There are three patterns to connect workflo... [more] |
CST2010-70 pp.59-64 |