Skip to main content
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: ,  ,   and    
Open Access
|Nov 2015
References

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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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).
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch in Google Scholar
DOI: https://doi.org/10.1515/cait-2015-0052 | Journal eISSN: 1314-4081 | Journal ISSN: 1311-9702 (formerly 1314-4081)
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
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.

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