Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets

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.923056Search 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.00908Search 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.03608Search 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.4795687Search 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.4662779Search 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.2001080Search 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.902622Search 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.819490Search 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.811771Search 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.2091954Search 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.871574Search 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.47Search 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_1Search 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.22Search 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.42Search 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.26Search 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.24143Search in Google Scholar