Journal of Intelligent Manufacturing

, Volume 25, Issue 3, pp 539–554 | Cite as

Petri net-based process monitoring: a workflow management system for process modelling and monitoring

  • Albert Pla
  • Pablo Gay
  • Joaquim Meléndez
  • Beatriz López
Article

Abstract

Nowadays business process management is becoming a fundamental piece of many industrial processes. To manage the evolution and interactions between the business actions it is important to accurately model the steps to follow and the resources needed by a process. Workflows provide a way of describing the order of execution and the dependencies between the constituting activities of business processes. Workflow monitoring can help to improve and avoid delays in industrial environments where concurrent processes are carried out. In this article a new Petri net extension for modelling workflow activities together with their required resources is presented: resource-aware Petri nets (RAPN). An intelligent workflow management system for process monitoring and delay prediction is also introduced. Resource aware-Petri nets include time and resources within the classical Petri net workflow representation, facilitating the task of modelling and monitoring workflows. The workflow management system monitors the execution of workflows and detects possible delays using RAPN. In order to test this new approach, different services from a medical maintenance environment have been modelled and simulated.

Keywords

Workflow Petri net Workflow modelling Workflow monitoring Process monitoring Resource-aware Petri nets 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abdulla, P. A., Mahata, P., & Mayr, R. (2006). Dense-timed petri nets: Checking zenoness, token liveness and boundedness. CoRR. abs/cs/0611048, 1–61.Google Scholar
  2. AIMES. (2011). Improving medical equipment management (itea2 results report).Google Scholar
  3. Alexopoulos K., Makris S., Xanthakis V., Chryssolouris G. (2011) A web-services oriented workflow management system for integrated digital production engineering. CIRP Journal of Manufacturing Science and Technology 4(3): 290–295CrossRefGoogle Scholar
  4. Alt, M., Gorlatch, S., Hoheisel, A., & Pohl, H.-W. (2006). Using high-level petri nets for hierarchical grid workflows. In E-SCIENCE ’06: Proceedings of the second IEEE international conference on e-Science and grid computing (p. 13). Washington, DC: IEEE Computer Society.Google Scholar
  5. Bastos, R., Dubugras, D., & Ruiz, A. (2002). Extending uml activity diagram for workflow modeling in production systems. In HICSS ’02: Proceedings of the 35th annual Hawaii international conference on system sciences (HICSS’02) (Vol. 9, p. 291). Washington, DC: IEEE Computer Society.Google Scholar
  6. Benatallah, B., Chrzstowski-Wachtel, P., Hamadi, R., O’Dell, M., & Susanto, A. (2003). Hiword: A petri net-based hierarchical workow designer. International Conference on Application of Concurrency to System Design, 0, 235.Google Scholar
  7. Blake M. B., Huhns M. N. (2008) Web-scale workflow: Integrating distributed services. IEEE Internet Computing 12(1): 55–59CrossRefGoogle Scholar
  8. Brogi, A., Popescu, R., Brogi, A., & Popescu, R. (2006). Bpel2yawl: Translating bpel processes into yawl workflows.Google Scholar
  9. Buscemi, M. & Sassone, V. (2001). High-level petri nets as type theories in the join calculus. In Proceedings of 4th FOSSACS, LNCS (Vol. 2030, pp. 104–120). Berlin: Springer.Google Scholar
  10. der Aalst, W. V. (1993). Interval timed coloured petri nets and their analysis.Google Scholar
  11. der Aalst, W. M. P. V., & Pesic, M. (2006). Specifying, discovering, and monitoring service flows making web services process-aware. In BPM center report BPM-06-09 BPM Center.Google Scholar
  12. Dumas, M., & Hofstede, A. H. (2001). Uml activity diagrams as a workflow specification language (pp. 76–90). Berlin: Springer.Google Scholar
  13. Eshuis, R., & Dehnert, J. (2003). Reactive petri nets for workflow modeling. In Application and theory of petri nets 2003 (pp. 296–315). Berlin: Springer.Google Scholar
  14. Fanti M. P., Mininel S., Ukovich W., Vatta F. (2012) Modelling alarm management workflow in healthcare according to ihe framework by coloured petri nets. Engineering Applications of Artificial Intelligence 25(4): 728–733CrossRefGoogle Scholar
  15. Frankowiak M. R., Grosvenor R. I., Prickett P. W. (2009) Microcontroller-based process monitoring using petri-nets. EURASIP Journal on Embedded Systems 2009: 1–12CrossRefGoogle Scholar
  16. Gao J., Yao Y., Zhu V., Sun L., Lin L. (2011) Service-oriented manufacturing: A new product pattern and manufacturing paradigm. Journal of Intelligent Manufacturing 22: 435–446CrossRefGoogle Scholar
  17. Gay, P., Pla, A., López, B., Meléndez, J., & Meunier, R. (2010). Service workflow monitoring through complex event processing. In ETFA (pp. 1–4).Google Scholar
  18. Ha S., Suh H. W. (2008) A timed colored petri nets modeling for dynamic workflow in product development process. Computers in Industry 59(2–3): 193–209CrossRefGoogle Scholar
  19. Hinz, S., Schmidt, K., & Stahl, C. (2005). Transforming bpel to petri nets. In W. M. P. Van der Aalst, B., Benatallah, F., Casati, & F., Curbera (Eds.), Proceedings of the 3rd international conference on business process management (BPM 2005) (pp. 220–235), Nancy: Springer.Google Scholar
  20. Hong, H. S., Lee, B. S., Kim, K. H., & Paik, S. K. (2000). A web-based transactional workflow monitoring system. In WISE ’00: Proceedings of the first international conference on web information systems engineering (WISE’00) (Vol. 1, pp. 166). Washington, DC: IEEE Computer Society.Google Scholar
  21. Indulska, J. R. M. (2006). How good is bpmn really? insights from theory and practice. In 14th European conference on information systems.Google Scholar
  22. Julia S., de Oliveira F. F., Valette R. (2008) Real time scheduling of workflow management systems based on a p-time petri net model with hybrid resources. Simulation Modelling Practice and Theory 16(4): 462–482CrossRefGoogle Scholar
  23. Kalnins, A., & Vitolins, V. (2006). Use of uml and model transformations for workflow process definitions. CoRR. abs/cs/0607044.Google Scholar
  24. Lombardi M., Milano M. (2010) Allocation and scheduling of conditional task graphs. Artificial Intelligence 174(7–8): 500–529CrossRefGoogle Scholar
  25. Muehlen, M., & Recker, J. (2008). How much language is enough? theoretical and practical use of the business process modeling notation. In Proceedings of the 20th international conference on advanced information system engineering (CAiSE 2008), Vol. 5074, pp. 465–479.Google Scholar
  26. Murata T. (2002) Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4): 541–580CrossRefGoogle Scholar
  27. Pant, K. (2008). Business process driven SOA using BPMN and BPEL: From business process modeling to orchestration and service oriented architecture. Packt Publishing.Google Scholar
  28. Petri, C. A. (1962). Kommunikation mit Automaten. PhD thesis, Bonn: Institut für instrumentelle Mathematik.Google Scholar
  29. Rinderle S., Reichert M., Dadam P. (2004) Correctness criteria for dynamic changes in workflow systems: A survey. Data and Knowledge Engineering 50(1): 9–34CrossRefGoogle Scholar
  30. Rozinat A., Wynn M., der Aalsta W. V., ter Hofstede A., Fidge C. (2009) Workflow simulation for operational decision support. Data and Knowledge Engineering 68(9): 834–850CrossRefGoogle Scholar
  31. Rumbaugh J., Jacobson I., Booch G. (2005) The Unified Modeling Language Reference Manual, 2 edn. Addison-Wesley, Boston, MAGoogle Scholar
  32. Russell, N., Ter Hofstede, A. H. M., Van der Aalst, W. M. P., & Mulyar, N. (2006). Workflow control-flow patterns: A revised view. Technical report, BPMcenter.org.Google Scholar
  33. Ruth, P., Rhee, J., Xu, D., Kennell, R., & Goasguen, S. (2006). Autonomic live adaptation of virtual computational environments in a multi-domain infrastructure. In Proceedings of the 3rd IEEE international conference on autonomic computing (ICAC’06).Google Scholar
  34. Tick, J. (2002). Workflow model representation concepts. In Nemzetkzi Szimpziuma 7 th international symposium of Hungarian researchers on computational intelligence workflow model representation concepts (Vol. 7).Google Scholar
  35. Van der Aalst W. M. P. (1998a) The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers 8(1): 21–66CrossRefGoogle Scholar
  36. Van der Aalst W. M. P. (1998b) The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers 8(1): 21–66CrossRefGoogle Scholar
  37. Van der Aalst W. M. P., Ter Hofstede A. H. M. (2005) Yawl: Yet another workflow language. Information Systems 30(4): 245–275CrossRefGoogle Scholar
  38. Vander Aalst W. M. P., van Dongen B. F., Herbst J., Maruster L., Schimm G., Weijters A. J. M. M. (2003) Workflow mining: A survey of issues and approaches. Data and Knowledge Engineering 47(2): 237–267CrossRefGoogle Scholar
  39. Wang, M., & Wang, H. (2002). Intelligent agent supported flexible workflow monitoring system. In A. Banks Pidduck et al. (Eds.), CAISE 2002, LNCS 2348 (pp. 787–791).Google Scholar
  40. Wassermann, B., Emmerich, W., Butchart, B., Cameron, N., Chen, L., & Patel, J. (2007). Sedna: A bpel-based environment for visual scientific workflow modelling. In Workflows for eScience—scientific workflows for grids. Berlin: Springer.Google Scholar
  41. Willis, T. (2008). BPEL 100 Success secrets-business process execution language for web services-THE XML-based language for the formal specification of business processes,... protocols and SOA based integration. London: Emereo Pty Ltd. The Unified Modeling Language Reference Manual, 2 edn.Google Scholar
  42. Wirtz, G., Weske, M., & Giese, H. (2000). Extending uml with workflow modeling capabilities. In CooplS ’02: Proceedings of the 7th international conference on cooperative information systems (pp. 30–41). London: Springer.Google Scholar
  43. Zarour N., Boufaida M., Seinturier L., Estraillier P. (2005) Supporting virtual enterprise systems using agent coordination. Knowledge and Information Systems 8: 330–349CrossRefGoogle Scholar
  44. Zdenk, M. S., Svdov, M., & Hanzlek, Z. (2001). Matlab toolbox for petri nets. In 22nd International conference ICATPN 2001 (pp 32–36).Google Scholar
  45. Zhang L., Jiao J. (2009) Modeling production configuration using nested colored object-oriented petri-nets with changeable structures. Journal of Intelligent Manufacturing 20: 359–378. doi: 10.1007/s10845-008-0111-7 CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media New York 2012

Authors and Affiliations

  • Albert Pla
    • 1
  • Pablo Gay
    • 1
  • Joaquim Meléndez
    • 1
  • Beatriz López
    • 1
  1. 1.University of GironaGironaSpain

Personalised recommendations