[1. Wang, H., Q. Zeng. Modelling and Analysis for Workflow Constrained by Resources and Nondetermined Time-An Approach Based on Petri Nets. - IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, Vol. 38, July 2008, No 4, pp. 802-816.10.1109/TSMCA.2008.923056]Search in Google Scholar
[2. Pang, S., C. Jiang. Workflow Performance Analysis Based on Invariant Decomposition Algorithm. - Chinese Journal of Computers, Vol. 33, May 2010, No 5, pp. 908-918.10.3724/SP.J.1016.2010.00908]Search in Google Scholar
[3. Yu, Y., Y. Tanget al. Temporal Workflow Process Model and Its Soundness Verification. - Journal of Software, Vol. 21, June 2010, No 6, pp. 1233-1253.10.3724/SP.J.1001.2010.03608]Search in Google Scholar
[4. Merdan, M., T. Moser et al. Simulation of Workflow Scheduling Strategies Using the MAST Test Management System. - In: Proc of 10th Intl. Conf. on Control, Automation, Robotics and Vision, 2008, pp. 1172-1177.10.1109/ICARCV.2008.4795687]Search in Google Scholar
[5. Stratan, C., A. Iosup et al. A Performance Study of Grid Workflow Engines. - In: Proc. of 9th Grid Computing Conference, 2008, pp. 25-32.10.1109/GRID.2008.4662779]Search in Google Scholar
[6. Wang, J., D. Rosca, W. Tepfenhart et al. Dynamic Workflow Modelling and Analysis in Incident Command Systems. - IEEE Trans. Syst., Man., Cybern. A, Syst., Humans, Vol. 38, September 2008, No 5, pp. 1041-1055.10.1109/TSMCA.2008.2001080]Search in Google Scholar
[7. Du, Y., C. Jiang, M. Zhou. Modelling and Analysis of Real-Time Cooperative Systems Using Petri Nets. - IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, Vol. 37, September 2007, No 5, pp. 643-654.10.1109/TSMCA.2007.902622]Search in Google Scholar
[8. Kim, K., H. Ahn, C. Kim. Performance Estimations of Clustered Workflow Architectures. - In: Proc. of 4th Annual ACIS International Conference on Computer and Information Science (ICIS’05), 2005.]Search in Google Scholar
[9. Zheng, J., Q. Chen, C. Qi. Verification and Reduction of Cyclic Structure In Workflow Model. - In: Proc. of Fourth International Conference on Machine Learning and Cybernetics, Guangzhou, August 2005, pp. 1487-1492.]Search in Google Scholar
[10. Li, J., Y. Fan, M. C. Zhou. Performance Modeling and Analysis of Workflow. - IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, Vol. 34, March 2004, No 2, pp. 229-242.10.1109/TSMCA.2003.819490]Search in Google Scholar
[11. Li, J., Y. Fan, M. C. Zhou. Timing Constraint Workflow Nets for Workflow Analysis. - IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, Vol. 33, March 2003, No 2, pp. 179-192.10.1109/TSMCA.2003.811771]Search in Google Scholar
[12. Karniel, A., Y. Reich. Formalizing a Workflow-Net Implementation of Design-Structure- Matrix-Based Process Planning for New Product Development. - IEEE Trans. Syst., Man., Cybern. A, Syst., Humans, Vol. 47, May 2011, No 3, pp. 476-491.10.1109/TSMCA.2010.2091954]Search in Google Scholar
[13. Nichols, J., H. Demirkan, M. Goul. Autonomic Workflow Executionin the Grid. - IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., Vol. 36, May 2006, No 3, pp. 353-364.10.1109/TSMCC.2006.871574]Search in Google Scholar
[14. Van Der Aalst, W. M. P., T. Weijters, L. Maruster. Workflow Mining: Discovering Process Models from Event Logs. - IEEE Trans. Knowl. Data Eng., Vol. 16, September 2004, No 9, pp. 1128-1142.10.1109/TKDE.2004.47]Search in Google Scholar
[15. Janssens, G. K., B. W. Jan Verelst, B. Weyn. Techniques for Modeling Workflows and Their Support for Reuse. - In: Business Process Management: Models, Techniques, and Empirical Studies. W. Van Der Aalst, Ed. Berlin, Germany, Springer-Verlag, 2000, pp. 1-15.10.1007/3-540-45594-9_1]Search in Google Scholar
[16. Hwang, G., C. Lin et al. A Framework and Language Support for Automatic Dynamic Testing of Workflow Management Systems. - In: Proc. of 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009), pp. 139-146.10.1109/TASE.2009.22]Search in Google Scholar
[17. Karam, M., W. Keirouz, R. Hage. An Abstract Model for Testing MVC and Workflow Based Web Applications. - In: Proc. of Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services. (AICT/ICIW 2006).10.1109/AICT-ICIW.2006.42]Search in Google Scholar
[18. Quan, L., X. Lin, J. Wang. An Automatic and Scalable Testing Tool for Workflow Systems. - In: Proc. of 3rd International Conference on Grid and Pervasive Computing - Workshops(GPC 2008), pp. 75-80.10.1109/GPC.WORKSHOPS.2008.26]Search in Google Scholar
[19. Bartz, R. Workflow for Automotive Test Data Analysis Based on Petri Nets and Stored by ASAM ODS.]Search in Google Scholar
[20. Petr i, C. A. Kommunikation mit automaten. Ph.D. Dissertation, Inst. Instrumentelle Math., Bonn, Germany, 1962.]Search in Google Scholar
[21. Reisi g, W. Petri Nets: An introduction. - In Monographs in Theoretical Computer Science, An EATCS Series, Vol. 4, Springer-Verlag, Berlin, Germany, 1985.]Search in Google Scholar
[22. Murata, T. Petri Nets: Properties, Analysis and Applications. - Proc. of IEEE, Vol. 77, April 1989, No 4, pp. 541-580.10.1109/5.24143]Search in Google Scholar