1. Sequential failure analysis using counters of Petri net models;Adamyan;IEEE Transactions on Systems, Man, and Cybernetics, Part A,2003
2. Bernauer, M., Kappel, G., Kramler, G., & Retschitzegger, W. (2003). Specification of interorganizational workflows – A comparison of approaches. In Proceedings of the 7th world multiconference on systemics, cybernetics and informatics (SCI 2003) (pp. 30–36).
3. Applying propositional logic to workflow verification;Bi;Information Technology and Management,2004
4. Bonner, A. J. (1999). Workflow, transactions and datalog. In 18th ACM Symposium on principles of database system (pp. 294–305).
5. Dynamic agents;Chen;International Journal of Cooperative Information Systems,1999