Nested Nets for Adaptive Systems

  • Kees M. van Hee
  • Irina A. Lomazova
  • Olivia Oanea
  • Alexander Serebrenik
  • Natalia Sidorova
  • Marc Voorhoeve
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4024)

Abstract

We consider nested nets, i.e. Petri nets in which tokens can be Petri nets themselves. We study the value semantics of nested nets rather than the reference semantics, and apply nested nets to model adaptive workflow, i.e. flexible workflow that can be modified during the execution. A typical domain with a great need for this kind of workflow is health care, from which domain we choose the running example. To achieve the desired flexibility we allow transitions that create new nets out of the existing ones. Therefore, nets with completely new structure can be created at the run time. We show that by careful selection of basic operations on the nets we can obtain a powerful modeling formalism that enforces correctness of models. Moreover, the formalism can be implemented based on existing workflow engines.

Keywords

Petri nets modeling workflow adaptivity 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    van der Aalst, W.M.P.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248. Springer, Heidelberg (1997)Google Scholar
  2. 2.
    van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)CrossRefGoogle Scholar
  3. 3.
    van der Aalst, W.M.P.: Workflow verification: Finding control-flow errors using Petri-net-based techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161–183. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  4. 4.
    van der Aalst, W.M.P., Basten, T.: Inheritance of workflows: an approach to tackling problems related to change. Theor. Comput. Sci. 270(1-2), 125–203 (2002)MATHCrossRefGoogle Scholar
  5. 5.
    van der Aalst, W.M.P., Basten, T., Verbeek, H.M.W.E., Verkoulen, P.A.C., Voorhoeve, M.: Adaptive workflow-on the interplay between flexibility and suppor. In: ICEIS, pp. 353–360 (1999)Google Scholar
  6. 6.
    van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)Google Scholar
  7. 7.
    van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)CrossRefGoogle Scholar
  8. 8.
    van der Aalst, W.M.P., Moldt, D., Valk, R., Wienberg, F.: Enacting Interorganizational Workflows Using Nets in Nets. In: Becker, J., Mühlen, M., Rosemann, M. (eds.) Proceedings of the 1999 Workflow Management Conference Workflow-based Applications, Münster November 9, 1999, Working Paper Series of the Department of Information Systems, University of Münster, Department of Information Systems, Steinfurter Str. 109, 48149 Münster, Working Paper No. 70, pp. 117–136 (1999)Google Scholar
  9. 9.
    Adams, M., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Facilitating flexibility and dynamic exception handling in workflows through worklets. In: Belo, O., Eder, J., Falcão e Cunha, J., Pastor, O. (eds.) CAiSE Short Paper Proceedings. CEUR Workshop Proceedings, vol. 161 (2005), CEUR-WS.org
  10. 10.
    Biberstein, O., Buchs, D., Guelfi, N.: Object-oriented nets with algebraic specifications: The CO-OPN/2 formalism. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2001, pp. 73–130. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  11. 11.
    Ciardo, G., Darondeau, P. (eds.): ICATPN 2005. LNCS, vol. 3536. Springer, Heidelberg (2005)MATHGoogle Scholar
  12. 12.
    Desel, J., Reisig, W., Rozenberg, G. (eds.): Lectures on Concurrency and Petri Nets, Advances in Petri Nets. LNCS, vol. 3098. Springer, Heidelberg (2004)MATHGoogle Scholar
  13. 13.
    Ehrig, H., Padberg, J.: Graph grammars and Petri net transformations. In: Desel, et al. [12], pp. 496–536Google Scholar
  14. 14.
    Fent, A., Reiter, H., Freitag, B.: Design for change: Evolving workflow specifications in ULTRAflow. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol. 2348, pp. 516–534. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  15. 15.
    Fossela, F.V., Komaki, R., Walsh, G.L.: Small-cell lung cancer. Practice Guideline, by following Thoracic and Small Cell Lung Cancer links (2000), available at: http://utm-ext01a.mdacc.tmc.edu/mda/cm/CWTGuide.nsf/LuHTML/SideBar1?OpenDocument
  16. 16.
    Groote, J., Vaandrager, F.: Structured operational semantics and bisimulation as a congruence. Information and Computation 100(2), 202–260 (1992)MATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    van Hee, K.M., Sidorova, N., Voorhoeve, M.: Soundness and separability of workflow nets in the stepwise refinement approach. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 337–356. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  18. 18.
    van Hee, K.M., Sidorova, N., Voorhoeve, M.: Generalised soundness of workflow nets is decidable. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 197–215. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  19. 19.
    Hoffman, K.: Run time modification of algebraic high level nets and algebraic higher order nets using folding and unfolding construction. In: Hommel, G. (ed.) Proceedings of the 3rd Internation Workshop Communication Based Systems, pp. 55–72. Kluwer Academic Publishers, Dordrecht (2000)Google Scholar
  20. 20.
    Hoffmann, K., Ehrig, H., Mossakowski, T.: High-level nets with nets and rules as tokens. In: Ciardo, Darondeau, [11], pp. 268–288Google Scholar
  21. 21.
    Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical. Springer, Heidelberg (1992)MATHGoogle Scholar
  22. 22.
    Klein, M., Dellarocas, C.: A knowledge-based approach to handling exceptions in workflow systems. Comput. Supported Coop. Work 9(3-4), 399–412 (2000)CrossRefGoogle Scholar
  23. 23.
    Köhler, M., Rölke, H.: Reference and value semantics are equivalent for ordinary object petri nets. In: Ciardo, Darondeau [11], pp. 309–328Google Scholar
  24. 24.
    Lakos, C.: From coloured Petri nets to object Petri nets. In: DeMichelis, G., Díaz, M. (eds.) ICATPN 1995. LNCS, vol. 935, pp. 278–297. Springer, Heidelberg (1995)Google Scholar
  25. 25.
    Lomazova, I.A.: Nested Petri nets: Multi-level and recursive systems. Fundam. Inform. 47(3-4), 283–293 (2001)MATHMathSciNetGoogle Scholar
  26. 26.
    Lomazova, I.A.: Modeling dynamic objects in distributed systems with nested Petri nets. Fundam. Inform. 51(1-2), 121–133 (2002)MATHMathSciNetGoogle Scholar
  27. 27.
    Lomazova, I.A.: Nested Petri nets: modeling and analysis of distributed systems with object structure. Nauchny Mir, Moscow (2004) (in Russian)Google Scholar
  28. 28.
    Lomazova, I.A., Schnoebelen, P.: Some decidability results for nested Petri nets. In: Bjorner, D., Broy, M., Zamulin, A.V. (eds.) PSI 1999. LNCS, vol. 1755, pp. 208–220. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  29. 29.
    Moldt, D., Wienberg, F.: Multi-agent-systems based on coloured Petri nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 82–101. Springer, Heidelberg (1997)Google Scholar
  30. 30.
    Panzarasa, S., Maddè, S., Quaglini, S., Pistarini, C., Stefanelli, M.: Evidence-based careflow management systems: the case of post-stroke rehabilitation. Journal of Biomedical Informatics 35(2), 123–139 (2002)CrossRefGoogle Scholar
  31. 31.
    Peleg, M., Boxwala, A., Tu, S., Wang, D., Ogunyemi, O., Zengh, Q.: Guideline interchange format 3.5 technical specification. InterMed Project (2004)Google Scholar
  32. 32.
    Quaglini, S., Panzarasa, S., Cavallini, A., Micieli, G., Pernice, C., Stefanelli, M.: Smooth integration of decision support into an existing electronic patient record. In: Miksch, S., Hunter, J., Keravnou, E.T. (eds.) AIME 2005. LNCS, vol. 3581, pp. 89–93. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  33. 33.
    Quaglini, S., Stefanelli, M., Cavallini, A., Micieli, G., Fassino, C., Mossa, C.: Guideline-based careflow systems. Artificial Intelligence in Medicine 20(1), 5–22 (2000)CrossRefGoogle Scholar
  34. 34.
    Rinderle, S., Reichert, M., Dadam, P.: Correctness criteria for dynamic changes in workflow systems - a survey. Data Knowl. Eng. 50(1), 9–34 (2004)CrossRefGoogle Scholar
  35. 35.
    Valk, R.: Nets in computer organization. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 255, pp. 218–233. Springer, Heidelberg (1987)Google Scholar
  36. 36.
    Valk, R.: Object Petri nets: Using the nets-within-nets paradigm. In: Desel, et al. [12], pp. 819–848Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Kees M. van Hee
    • 1
  • Irina A. Lomazova
    • 2
  • Olivia Oanea
    • 1
  • Alexander Serebrenik
    • 1
  • Natalia Sidorova
    • 1
  • Marc Voorhoeve
    • 1
  1. 1.Department of Mathematics and Computer ScienceEindhoven University of TechnologyEindhovenThe Netherlands
  2. 2.Program Systems Institute of Russian Academy of SciencePereslavl-ZalesskyRussia

Personalised recommendations