Have a personal or library account? Click to login
Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets Cover

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

Cybernetics and Information Technologies
Volume 15 (2015): Issue 4 (November 2015)
By: Changyou Zheng,  Yi Yao,  Song Huang and  Zhengping Ren  
Open Access
|Nov 2015

References

  1. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 19. Bartz, R. Workflow for Automotive Test Data Analysis Based on Petri Nets and Stored by ASAM ODS.
    Search in Google Scholar
  20. 20. Petr i, C. A. Kommunikation mit automaten. Ph.D. Dissertation, Inst. Instrumentelle Math., Bonn, Germany, 1962.
    Search in Google Scholar
  21. 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. 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
DOI: https://doi.org/10.1515/cait-2015-0052 | Journal eISSN: 1314-4081 | Journal ISSN: 1311-9702
Journal RSS Feed
Language: English
Page range: 27 - 41
Published on: Nov 26, 2015
Published by: Bulgarian Academy of Sciences, Institute of Information and Communication Technologies
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
Workflow modeling,
workflow testing,
Petri Net,
I/O_WF_Net
Related subjects:
Computer sciences,
Information technology

© 2015 Changyou Zheng, Yi Yao, Song Huang, Zhengping Ren, published by Bulgarian Academy of Sciences, Institute of Information and Communication Technologies
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Previous articleVolume 15 (2015): Issue 4 (November 2015)Next article