Skip to main content
SpringerLink
Log in

Nested Nets for Adaptive Systems

  • Conference paper
Petri Nets and Other Models of Concurrency - ICATPN 2006 (ICATPN 2006)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4024))

Included in the following conference series:

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.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  MATH  Google Scholar 

  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. van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)

    Google Scholar 

  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)

    Article  Google Scholar 

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

    Chapter  Google Scholar 

  11. Ciardo, G., Darondeau, P. (eds.): ICATPN 2005. LNCS, vol. 3536. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  12. Desel, J., Reisig, W., Rozenberg, G. (eds.): Lectures on Concurrency and Petri Nets, Advances in Petri Nets. LNCS, vol. 3098. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  13. Ehrig, H., Padberg, J.: Graph grammars and Petri net transformations. In: Desel, et al. [12], pp. 496–536

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Groote, J., Vaandrager, F.: Structured operational semantics and bisimulation as a congruence. Information and Computation 100(2), 202–260 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Hoffmann, K., Ehrig, H., Mossakowski, T.: High-level nets with nets and rules as tokens. In: Ciardo, Darondeau, [11], pp. 268–288

    Google Scholar 

  21. Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical. Springer, Heidelberg (1992)

    MATH  Google Scholar 

  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)

    Article  Google Scholar 

  23. Köhler, M., Rölke, H.: Reference and value semantics are equivalent for ordinary object petri nets. In: Ciardo, Darondeau [11], pp. 309–328

    Google Scholar 

  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. Lomazova, I.A.: Nested Petri nets: Multi-level and recursive systems. Fundam. Inform. 47(3-4), 283–293 (2001)

    MATH  MathSciNet  Google Scholar 

  26. Lomazova, I.A.: Modeling dynamic objects in distributed systems with nested Petri nets. Fundam. Inform. 51(1-2), 121–133 (2002)

    MATH  MathSciNet  Google Scholar 

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

    Chapter  Google Scholar 

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

    Article  Google Scholar 

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

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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. Valk, R.: Object Petri nets: Using the nets-within-nets paradigm. In: Desel, et al. [12], pp. 819–848

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands

    Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova & Marc Voorhoeve

  2. Program Systems Institute of Russian Academy of Science, Pereslavl-Zalessky, 152020, Russia

    Irina A. Lomazova

Authors
  1. Kees M. van Hee
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Irina A. Lomazova
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Olivia Oanea
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Alexander Serebrenik
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Natalia Sidorova
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Marc Voorhoeve
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Torino, 10149, Torino, Italy

    Susanna Donatelli

  2. School of Computing, National University of Singapore,  

    P. S. Thiagarajan

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van Hee, K.M., Lomazova, I.A., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M. (2006). Nested Nets for Adaptive Systems. In: Donatelli, S., Thiagarajan, P.S. (eds) Petri Nets and Other Models of Concurrency - ICATPN 2006. ICATPN 2006. Lecture Notes in Computer Science, vol 4024. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11767589_14

Download citation

  • DOI: https://doi.org/10.1007/11767589_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-34699-9

  • Online ISBN: 978-3-540-34700-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation