Presentation | 2014-03-06 A Supervisory Control Based Approach to Protocol Inheritance Preserving Soundization for Workflow Nets with TP-Handles Soichiro NAGANO, Shingo YAMAGUCHI, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In this paper, we propose how to soundize free-choice workflow nets having TP-handles. Such a workflow net usually has abnormal termination states. So we (1) use supervisory control to prohibit those states, and then (2) change the transitions from the abnormal termination states to the normal termination states. We construct a procedure based on the idea. This procedure enables us to soundize free-choice workflow nets with TP-handles which cannot be soundized in the previous work. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Petri net / workflow net / soundization / supervisory control |
Paper # | MSS2013-76 |
Date of Issue |
Conference Information | |
Committee | MSS |
---|---|
Conference Date | 2014/2/27(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Mathematical Systems Science and its applications(MSS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A Supervisory Control Based Approach to Protocol Inheritance Preserving Soundization for Workflow Nets with TP-Handles |
Sub Title (in English) | |
Keyword(1) | Petri net |
Keyword(2) | workflow net |
Keyword(3) | soundization |
Keyword(4) | supervisory control |
1st Author's Name | Soichiro NAGANO |
1st Author's Affiliation | Graduate School of Science and Engineering, Yamaguchi University() |
2nd Author's Name | Shingo YAMAGUCHI |
2nd Author's Affiliation | Graduate School of Science and Engineering, Yamaguchi University |
Date | 2014-03-06 |
Paper # | MSS2013-76 |
Volume (vol) | vol.113 |
Number (no) | 466 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |