| Article ID: | iaor2008755 |
| Country: | Netherlands |
| Volume: | 42 |
| Issue: | 3 |
| Start Page Number: | 1239 |
| End Page Number: | 1253 |
| Publication Date: | Dec 2006 |
| Journal: | Decision Support Systems |
| Authors: | Palvia Prashant, Mok Wai Yin, Paper David |
| Keywords: | decision: studies, programming: linear, artificial intelligence: decision support |
Workflow research is commonly concerned with optimization, modeling, and dependency. In this research, we however address a more fundamental issue. By modeling humans and machines as agents and making use of a theoretical computer and statecharts, we prove that many workflow problems do not have computer-based solutions. We also demonstrate a sufficient condition under which computers are able to solve these problems. We end by discussing the relationships between our research and Petri Nets, the multi-agent framework in the literature, linear programming and workflow verification.