Skip to main content
SpringerLink
Log in

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

  • Published:
Journal of Intelligent Manufacturing Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Abdulla, P. A., Mahata, P., & Mayr, R. (2006). Dense-timed petri nets: Checking zenoness, token liveness and boundedness. CoRR. abs/cs/0611048, 1–61.

  • AIMES. (2011). Improving medical equipment management (itea2 results report).

  • 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–295

    Article  Google Scholar 

  • 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.

  • 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.

  • 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.

  • Blake M. B., Huhns M. N. (2008) Web-scale workflow: Integrating distributed services. IEEE Internet Computing 12(1): 55–59

    Article  Google Scholar 

  • Brogi, A., Popescu, R., Brogi, A., & Popescu, R. (2006). Bpel2yawl: Translating bpel processes into yawl workflows.

  • 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.

  • der Aalst, W. V. (1993). Interval timed coloured petri nets and their analysis.

  • 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.

  • Dumas, M., & Hofstede, A. H. (2001). Uml activity diagrams as a workflow specification language (pp. 76–90). Berlin: Springer.

  • Eshuis, R., & Dehnert, J. (2003). Reactive petri nets for workflow modeling. In Application and theory of petri nets 2003 (pp. 296–315). Berlin: Springer.

  • 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–733

    Article  Google Scholar 

  • Frankowiak M. R., Grosvenor R. I., Prickett P. W. (2009) Microcontroller-based process monitoring using petri-nets. EURASIP Journal on Embedded Systems 2009: 1–12

    Article  Google Scholar 

  • 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–446

    Article  Google Scholar 

  • 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).

  • 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–209

    Article  Google Scholar 

  • 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.

  • 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.

  • Indulska, J. R. M. (2006). How good is bpmn really? insights from theory and practice. In 14th European conference on information systems.

  • 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–482

    Article  Google Scholar 

  • Kalnins, A., & Vitolins, V. (2006). Use of uml and model transformations for workflow process definitions. CoRR. abs/cs/0607044.

  • Lombardi M., Milano M. (2010) Allocation and scheduling of conditional task graphs. Artificial Intelligence 174(7–8): 500–529

    Article  Google Scholar 

  • 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.

  • Murata T. (2002) Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4): 541–580

    Article  Google Scholar 

  • Pant, K. (2008). Business process driven SOA using BPMN and BPEL: From business process modeling to orchestration and service oriented architecture. Packt Publishing.

  • Petri, C. A. (1962). Kommunikation mit Automaten. PhD thesis, Bonn: Institut für instrumentelle Mathematik.

  • Rinderle S., Reichert M., Dadam P. (2004) Correctness criteria for dynamic changes in workflow systems: A survey. Data and Knowledge Engineering 50(1): 9–34

    Article  Google Scholar 

  • 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–850

    Article  Google Scholar 

  • Rumbaugh J., Jacobson I., Booch G. (2005) The Unified Modeling Language Reference Manual, 2 edn. Addison-Wesley, Boston, MA

    Google Scholar 

  • 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.

  • 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).

  • 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).

  • 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–66

    Article  Google Scholar 

  • 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–66

    Article  Google Scholar 

  • Van der Aalst W. M. P., Ter Hofstede A. H. M. (2005) Yawl: Yet another workflow language. Information Systems 30(4): 245–275

    Article  Google Scholar 

  • 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–267

    Article  Google Scholar 

  • 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).

  • 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.

  • 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.

  • 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.

  • Zarour N., Boufaida M., Seinturier L., Estraillier P. (2005) Supporting virtual enterprise systems using agent coordination. Knowledge and Information Systems 8: 330–349

    Article  Google Scholar 

  • Zdenk, M. S., Svdov, M., & Hanzlek, Z. (2001). Matlab toolbox for petri nets. In 22nd International conference ICATPN 2001 (pp 32–36).

  • 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

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Girona, Office 003/004 (eXiT Laboratory “La pizzeria”), Building P4, Campus Montilivi, 17001, Girona, Spain

    Albert Pla, Pablo Gay, Joaquim Meléndez & Beatriz López

Authors
  1. Albert Pla
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pablo Gay
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Joaquim Meléndez
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Beatriz López
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Albert Pla.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Pla, A., Gay, P., Meléndez, J. et al. Petri net-based process monitoring: a workflow management system for process modelling and monitoring. J Intell Manuf 25, 539–554 (2014). https://doi.org/10.1007/s10845-012-0704-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10845-012-0704-z

Keywords

Search

Navigation