| Presentation | 2010-11-18 On Soundness Verification for Workflow Nets with Inhibitor Arcs Yuki SHINOHARA, Shingo YAMAGUCHI, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | There may be a precedence order among activities in a workflow. Such a workflow can be modeled as a workflow net with inhibitor arcs. Soundness enables us to verify the logical correctness of workflows, however it seems to be intractable to verify the soundness of workflow nets with inhibitor arcs. In this paper, we propose a method to verify the soundness of workflow nets with inhibitor arcs. We first transform a given workflow net with inhibitor arcs into a Petri net without the inhibitor arcs. If the Petri net is free choice, we verify whether the net is bounded and live, i.e. the original net is sound, based on the Rank Theorem in polynomial time. Otherwise we further transform the Petri net into a workflow Net without the inhibitor arcs, and then apply a model checking method to the verification of the workflow net. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | workflow net / inhibitor arc / soundness / transformation |
| Paper # | CAS2010-65,CST2010-38 |
| Date of Issue |
| Conference Information | |
| Committee | CAS |
|---|---|
| Conference Date | 2010/11/11(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 | Circuits and Systems (CAS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | On Soundness Verification for Workflow Nets with Inhibitor Arcs |
| Sub Title (in English) | |
| Keyword(1) | workflow net |
| Keyword(2) | inhibitor arc |
| Keyword(3) | soundness |
| Keyword(4) | transformation |
| 1st Author's Name | Yuki SHINOHARA |
| 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 | 2010-11-18 |
| Paper # | CAS2010-65,CST2010-38 |
| Volume (vol) | vol.110 |
| Number (no) | 283 |
| Page | pp.pp.- |
| #Pages | 5 |
| Date of Issue | |