Abstract
For the important limitation of actual workflow management systems (WFMS), a Petri nets-based workflow modeling method for time constraints is put forward. Firstly, we extend the workflow nets with time constraints and call the new nets timing constraint workflow nets (TCWF-nets), then after analyzing the time property of workflow nets (WF-nets), we proposed the schedulability analysis algorithm of TCWF-nets. The research results show that our method can roundly describe the time information and has the important reference value in enriching the theory of the time constraint modeling in WFMS.
Original language | English |
---|---|
Pages (from-to) | 527-532 |
Number of pages | 6 |
Journal | Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS |
Volume | 8 |
Issue number | 7 |
Publication status | Published - Jul 2002 |
Externally published | Yes |
Keywords
- Petri nets
- Schedulability analysis
- Time constraints
- Workflow