Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
552944 | Decision Support Systems | 2006 | 15 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Information Systems
Authors
Wai Yin Mok, Prashant Palvia, David Paper,