Introduction to operations research, 4th ed.
Introduction to operations research, 4th ed.
Computability and logic: 3rd ed.
Computability and logic: 3rd ed.
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Verification problems in conceptual workflow specifications
Data & Knowledge Engineering - Special issue on ER '96
Verification of workflow task structures: A petri-net-based approach
Information Systems
Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Concurrency Control in Distributed Database Systems
ACM Computing Surveys (CSUR)
Introduction to the Theory of Computation
Introduction to the Theory of Computation
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Agents in a Nutshell-A Very Brief Introduction
IEEE Transactions on Knowledge and Data Engineering
Cooperative Multiagent Systems: A Personal View of the State of the Art
IEEE Transactions on Knowledge and Data Engineering
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Implementing Business Processes: A Database Trigger Approach
International Journal of Knowledge-Based Organizations
| Hi-index | 0.00 |
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.