<abstract xmlns="http://www.w3.org/1999/xhtml"><p> 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.</p></abstract>

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.

Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets

Institute of Command Information Systems, PLA University of Science and Technology, Nanjing, China

Cybernetics and Information Technologies

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

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,...

Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets

Published Online: Nov 26, 2015

Page range: 27 - 41

DOI: https://doi.org/10.1515/cait-2015-0052

Keywords
Workflow modeling, workflow testing, Petri Net, I/O_WF_Net

© by Changyou Zheng

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets

Published Online: Nov 26, 2015

Page range: 27 - 41

DOI: https://doi.org/10.1515/cait-2015-0052

KeywordsWorkflow modeling, workflow testing, Petri Net, I/O_WF_Net

© by Changyou Zheng

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Keywords
Workflow modeling, workflow testing, Petri Net, I/O_WF_Net