Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets
Workflow systems are widely used in our daily life so that the validity, dependability and security with which they need to be assured are important. However, existing researches mainly focus on correctness validation, performance analysis and assignment scheduling, but the testing methods have been...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Sciendo
2015-11-01
|
| Series: | Cybernetics and Information Technologies |
| Subjects: | |
| Online Access: | https://doi.org/10.1515/cait-2015-0052 |
| _version_ | 1818307379433832448 |
|---|---|
| author | Zheng Changyou Yao Yi Huang Song Ren Zhengping |
| author_facet | Zheng Changyou Yao Yi Huang Song Ren Zhengping |
| author_sort | Zheng Changyou |
| collection | DOAJ |
| description | Workflow systems are widely used in our daily life so that the validity, dependability and security with which they need to be assured are important. However, existing researches mainly focus on correctness validation, performance analysis and assignment scheduling, but the testing methods have been seldom suited. In this paper a formalized definition of workflows constrained by an input and output is presented, and based on that, a Petri Net-based model (I/O_WF_Net) is proposed. In I/O_WF_Net, the activities of the workflow can be modeled as transitions of a Petri Net, and the inputs and outputs of an activity can be modeled as places. After the modeling method for I/O constrained workflow net into the I/O_WF_Net model is described, the corresponding transforming algorithm and its simplifying method are given. |
| first_indexed | 2024-12-13T06:57:27Z |
| format | Article |
| id | doaj.art-085a15711277470cb17fde4fad2dbb05 |
| institution | Directory Open Access Journal |
| issn | 1314-4081 |
| language | English |
| last_indexed | 2024-12-13T06:57:27Z |
| publishDate | 2015-11-01 |
| publisher | Sciendo |
| record_format | Article |
| series | Cybernetics and Information Technologies |
| spelling | doaj.art-085a15711277470cb17fde4fad2dbb052022-12-21T23:56:01ZengSciendoCybernetics and Information Technologies1314-40812015-11-01154274110.1515/cait-2015-0052Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri NetsZheng Changyou0Yao Yi1Huang Song2Ren Zhengping3Institute of Command Information Systems, PLA University of Science and Technology, Nanjing, ChinaInstitute of Command Information Systems, PLA University of Science and Technology, Nanjing, ChinaInstitute of Command Information Systems, PLA University of Science and Technology, Nanjing, ChinaInstitute of Command Information Systems, PLA University of Science and Technology, Nanjing, ChinaWorkflow systems are widely used in our daily life so that the validity, dependability and security with which they need to be assured are important. However, existing researches mainly focus on correctness validation, performance analysis and assignment scheduling, but the testing methods have been seldom suited. In this paper a formalized definition of workflows constrained by an input and output is presented, and based on that, a Petri Net-based model (I/O_WF_Net) is proposed. In I/O_WF_Net, the activities of the workflow can be modeled as transitions of a Petri Net, and the inputs and outputs of an activity can be modeled as places. After the modeling method for I/O constrained workflow net into the I/O_WF_Net model is described, the corresponding transforming algorithm and its simplifying method are given.https://doi.org/10.1515/cait-2015-0052workflow modelingworkflow testingpetri neti/o_wf_net |
| spellingShingle | Zheng Changyou Yao Yi Huang Song Ren Zhengping Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets Cybernetics and Information Technologies workflow modeling workflow testing petri net i/o_wf_net |
| title | Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets |
| title_full | Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets |
| title_fullStr | Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets |
| title_full_unstemmed | Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets |
| title_short | Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets |
| title_sort | modeling workflow systems constrained by inputs and outputs an approach based on petri nets |
| topic | workflow modeling workflow testing petri net i/o_wf_net |
| url | https://doi.org/10.1515/cait-2015-0052 |
| work_keys_str_mv | AT zhengchangyou modelingworkflowsystemsconstrainedbyinputsandoutputsanapproachbasedonpetrinets AT yaoyi modelingworkflowsystemsconstrainedbyinputsandoutputsanapproachbasedonpetrinets AT huangsong modelingworkflowsystemsconstrainedbyinputsandoutputsanapproachbasedonpetrinets AT renzhengping modelingworkflowsystemsconstrainedbyinputsandoutputsanapproachbasedonpetrinets |