Overload Control in a Token Player for a Fuzzy Workflow Management System

Felipe Nedopetalski, Joslaine Cristina Jeske de Freitas


The underlying proposal of this work is to control overload of a Token Player in a Fuzzy Workflow Management System. In order to accomplish this, possibility theory is used to measure how much the Token Player can be overloaded. The model used in this work is built using Colored Petri net and the simulation is made using CPN Tools. Finally, is possible to control overload of the Token Player in a Fuzzy Workflow Management System, nevertheless more time is spent to achieve the end of activities.


CPN Tools; Workflow Management Systems; Fuzzy; Overload Control; Petri Net

Full Text:



AALST, W. van der; HEE, K. van. Workflow Management: Models, Methods, and Systems. 1. ed. Cambridge, MA, USA: MIT Press, 2004.

ALONSO, G. et al. Functionality and Limitations of Current Workflow Management Systems. IEEE Expert, Washington, v. 12, n. 5, p. 105–111, set-out. 1997.

ESHUIS, H. Semantics and Verification of UML Activity Diagrams for Workflow Modelling. Tese (Doutorado em Ciência da Computação) — University of Twente, Enschede, 2002.

HOLLINGSWORTH, D.; HAMPSHIRE, U. Workflow management coalition: The workflow reference model. Document Number TC00-1003, Citeseer, Hampshire, v. 19, n. 16, p. 224, 1995.

WFMC. Glossary. Workflow Management Coalition: Terminology and glosssary. 3. ed. Hampshire: Workflow Management Coalition, 1999. 65 p. Document Number WFMC-TC-1011. Disponível em: 〈http://www.wfmc.org/standards/docs/TC-1011termglossaryv3.pdf〉.

PLESMUMS, C. Introduction to Workflow. In: FISCHER, LAYNA. Workflow Handbook. Lighthouse Point: Future Strategies, 2002. p. 19–38. Published in associaton with the Workflow Management Coalition.

MEIDANIS, J.; VOSSEN, G.; WESKE, M. Using workflow management in dna sequencing. In: IFCIS - International Conference on Cooperative Information Systems, 1., 1996, Brussels. Proceedings of the [...]. Brussels: IEEE, 1996. p. 114–123.

GIL, Y. et al. Artificial intelligence and grids: Workflow planning and beyond. IEEE Intelligent Systems, IEEE, Washington, v. 19, n. 1, p. 26–33, 2004.

PIKA, A. et al. Mining Resource Profiles from Event Logs. ACM Trans. Manage. Inf. Syst., Association for Computing Machinery, New York, v. 8, n. 1, p. 1–31, março de 2017. Disponível em: 〈https://doi.org/10.1145/3041218〉.

OUGAABAL, K. et al. Distinguishing resource type in BPMN workflows at simulation phase. In: SPRING SIMULATION CONFERENCE (SPRINGSIM), 2019, Tucson. Proceedings of the [...]. Tucson: IEEE, 2019. p. 1–12. Disponível em: 〈https://ieeexplore.ieee.org/document/8732881/〉.

WANG, J.; TIAN, J.; SUN, R. Emergency healthcare resource requirement analysis: A stochastic timed Petri net approach. In: INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC), 15., 2018, Zhuhai. Proceedings of the [...]. Zhuhai: IEEE, 2018. p. 1–6. Disponível em: 〈https://doi.org/10.1109/ICNSC.2018.8361301〉.

CABANILLAS, C. et al. Specification and automated design-time analysis of the business process human resource perspective. Information Systems, Elsevier, Hoboken, v. 52, p. 55–82, abril de 2015.

CABANILLAS, C. et al. Ralph: A graphical notation for resource assignments in business processes. In: ZDRAVKOVIC, J.; KIRIKOVA, M.; JOHANNESSON, P.(Ed.). Advanced Information Systems Engineering. Cham: Springer International Publishing, 2015. p. 53–68.

OLIVIERI, H.; SEPPÄNEN, O.; GRANJA, A. D. Improving workflow and resource usage in construction schedules through location-based management system (LBMS). Construction Management and Economics, Routledge, Abingdon, v. 36, n. 2, p. 109–124, 2018. Disponível em: 〈https://doi.org/10.1080/01446193.2017.1410561〉.

MAZANDARANI, M.; LI, X. Fractional Fuzzy Inference System: The New Generation of Fuzzy Inference Systems. IEEE Access, IEEE, New York, v. 8, p. 126066–126082, julho de 2020. Disponível em: 〈https://doi.org/10.1109/ACCESS.2020.3008064〉.

HAVUR, G. et al. Resource allocation with dependencies in business process management systems. In: BUSINESS PROCESS MANAGEMENT FORUM, 2016, Rio de Janeiro. Proceedings of the [...]. Cham: Springer, 2016. p. 3–19.

OUYANG, C. et al. Modelling complex resource requirements in business process management systems. In: AUSTRALASIAN CONFERENCES ON INFORMATION SYSTEMS (ACIS), 21., 2010, Brisbane. Proceedings of the [...]. Auckland: AIS Library, 2010. p. 1–11.

JESKE, J. C.; JULIA, S.; VALETTE, R. Fuzzy continuous resource allocation mechanisms in workflow management systems. In: BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING, XXIII., 2009, Fortaleza. Proceedings of the [...]. New York: IEEE, 2009. p. 236–251.

AALST, W. van der. The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers, Singapore, v. 8, n. 1, p. 21–66, 1998.

DAVID, R.; ALLA, H. Discrete, Continuous, and Hybrid Petri Nets. 2. ed. Cham: Springer Publishing Company, Incorporated, 2010.

ZADEH, L. A. Fuzzy Sets. Information and Control, Amsterdam, v. 8, n. 3, p. 338–353, junho de 1965.

DUBOIS, D.; PRADE, H. Possibility theory. 1. ed. New York: Plenum Press, 1988.

CARDOSO, J.; VALETTE, R.; DUBOIS, D. Possibilistic Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part B, New York, v. 29, n. 5, p. 573–582, 1999.

CARDOSO, J.; VALETTE, R. Redes de Petri. 1. ed. Florianópolis: Editora da UFSC, 1997. (Série Didática).

VALETTE, R.; ATABAKHCHE, H. Petri Nets for Sequence Constraint Propagation in Knowledge Based Approaches. In: ROZENBERG, GRZEGORZ AND GENRICH, H. AND VOß, KLAUS. Concurrency and Nets: Advances in Petri Nets. Berlin: Springer-Verlag, 1987. p. 555–569.

AIS group. CPN Tools. Eindhoven: Eindhoven University of Technology, 2020. Disponível em: 〈http://cpntools.org/〉. Acesso em: 11 jul. 2020.

JENSEN, K.; KRISTENSEN, L. M. Coloured Petrinets: modelling and validation of concurrent systems. 2009. ed. Berlin: Springer Science & Business Media, 2009.

AALST, W. M. van der. Business process simulation survival guide. In: BROCKE, JAN VOM AND ROSEMANN, MICHAEL. Handbook on Business Process Management 1. Cham: Springer, 2015. p. 337–370.

LU, Y. et al. Formalizing Workflow with Location Constraints by Colored Petri Nets. In: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING (ICEBE), 11., 2014, Guangzhou. Proceedings of the [...]. Washington: IEEE Computer Society, 2014. p. 226–231.

CHAN, N. N. et al. Mining event logs to assist the development of executable process variants. In: ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE), 26., 2014. Proceedings of the [...]. Cham: Springer, 2014. p. 548–563.

VENERO, M. L. F.; SILVA, F. S. C. da. Modeling and Simulating Interaction Protocols Using Nested Petri Nets. In: SEFM COLLOCATED WORKSHOPS ON SOFTWARE ENGINEERING AND FORMAL METHODS, 11., 2013, Madrid. Revised Selected Papers of the [...]. Berlin: Springer-Verlag, 2014. v. 8368, p. 135–150. Disponível em: 〈https://doi.org/10.1007/978-3-319-05032-411〉.

XIAO, Z.; MING, Z. A method of workflow scheduling based on colored Petri nets. Data & Knowledge Engineering, Elsevier, Amsterdam, v. 70, n. 2, p. 230–247, 2011.

VANDERFEESTEN, I.; AALST, W. van der; REIJERS, H. A. Modelling a product based workflow system in cpn tools. In: WORKSHOP ON THE PRACTICAL USE OF COLOURED PETRI NETS AND CPN TOOLS, 6., 2005, Aarhus. Proceedings of the [...]. Aarhus: Department of Computer Science, Aarhus University, 2005. v. 576, p. 99–118.

FREITAS., J. C. J. de; JULIA., S.; REZENDE., L. P. de. Modeling a Fuzzy Resource Allocation Mechanism based on Workflow Nets. In: INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS (ICEIS), 18., 2016, Roma. Proceedings of the [...] - Volume 2. Setubal: SciTePress, 2016. p. 559–566. Disponível em: 〈https://doi.org/10.5220/0005833505590566〉.

WICKENS, C. Engineering psychology and human performance. 2. ed. New York: Harper-Collins, 1992.

NAKATUMBA, J.; AALST, W. M. van der. Analyzing resource behavior using process mining. In: INTERNATIONAL CONFERENCE ON BUSINESS PROCESS MANAGEMENT, 7., 2009, Ulm. Proceedings of the [...]. Berlin, Heidelberg: Springer, 2009. p. 69–80.

DOI: https://doi.org/10.22456/2175-2745.105893

Copyright (c) 2021 Felipe Nedopetalski, Joslaine Cristina Jeske de Freitas

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Indexing databases: