Academic Journal
Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets
| العنوان: | Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets |
|---|---|
| المؤلفون: | Zheng Changyou, Yao Yi, Huang Song, Ren Zhengping |
| المصدر: | Cybernetics and Information Technologies, Vol 15, Iss 4, Pp 27-41 (2015) |
| بيانات النشر: | Sciendo, 2015. |
| سنة النشر: | 2015 |
| المجموعة: | LCC:Cybernetics |
| مصطلحات موضوعية: | workflow modeling, workflow testing, petri net, i/o_wf_net, Cybernetics, Q300-390 |
| الوصف: | 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. |
| نوع الوثيقة: | article |
| وصف الملف: | electronic resource |
| اللغة: | English |
| تدمد: | 1314-4081 15711277 |
| Relation: | https://doaj.org/toc/1314-4081 |
| DOI: | 10.1515/cait-2015-0052 |
| URL الوصول: | https://doaj.org/article/085a15711277470cb17fde4fad2dbb05 |
| رقم الانضمام: | edsdoj.085a15711277470cb17fde4fad2dbb05 |
| قاعدة البيانات: | Directory of Open Access Journals |
Full Text Finder | تدمد: | 13144081 15711277 |
|---|---|
| DOI: | 10.1515/cait-2015-0052 |