A transactional workflow model for engineering/manufacturing processes
SCIE
SCOPUS
- Title
- A transactional workflow model for engineering/manufacturing processes
- Authors
- Choi, I; Park, C; Lee, C
- Date Issued
- 2002-03
- Publisher
- TAYLOR & FRANCIS LTD
- Abstract
- Workflow management systems are increasingly identified as a tool that can not only integrate existing computer applications but also dynamically change existing processes in engineering and manufacturing areas as well as business areas. Since workflow transactions do not have a mechanism to guarantee consistency against failures or concurrent execution, the capability to forecast the effects of workflow transactions is very important. Further, workflow modelling involves many problems that originate from application-oriented requirements as well as transaction-oriented requirements. Thus, it is necessary to represent task state dependencies that are used to define the execution order of each task to be able to express fine control requirements for engineering/manufacturing processes. This paper proposes Task Net, which is a transactional workflow model based on coloured Petri nets. First, a workflow specification language is introduced that can express task state dependency relationships such as forward, backward, and mutual exclusion among intra-task states (states of the same task) and inter-task states (states of different tasks). Then, translation procedures of a basic workflow specification and its task state dependencies into a Task Net are described. The proposed workflow language will enable the users to express both the transaction-oriented and application-oriented requirements of complex rules. The Task Net will allow simulation of the given workflow. Before executing a Task Net, tests for deadlocks and redundant task state dependencies are performed to prevent futile efforts. The proposed language, along with various analyses and simulation of Task Nets, is expected to expand the transactional workflow supports provided by current workflow systems, hence, enabling effective integration of existing computer aided (CA) applications as well as flexible definition, control and redesign of engineering and manufacturing processes.
- Keywords
- PETRI NETS; MANAGEMENT; SYSTEM
- URI
- https://oasis.postech.ac.kr/handle/2014.oak/19234
- DOI
- 10.1080/09511920110059061
- ISSN
- 0951-192X
- Article Type
- Article
- Citation
- INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, vol. 15, no. 2, page. 178 - 192, 2002-03
- Files in This Item:
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.