Skip to main content
SpringerLink
Log in
Book cover

Pillars of Computer Science pp 460–474Cite as

Nested Petri Nets for Adaptive Process Modeling

  • Chapter

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

Abstract

We consider Nested Petri nets (NP-nets), i.e. Petri nets in which tokens can be Petri nets themselves. To increase flexibility and give tools for modeling adaptive processes we extend this formalism by allowing operations on net tokens. We prove decidability of some crucial for verification problems and thus show that, in spite of very flexible structure, NP-nets maintain “good” properties of ordinary Petri nets.

This research was partly supported by the Russian Foundation for Basic Research (grants 06-01-00106 and 07-01-00702).

This is a preview of subscription content, 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   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

  2. Ehrig, H., Padberg, J.: Graph grammars and Petri net transformations. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 496–536. Springer, Heidelberg (2004)

    Google Scholar 

  3. Finkel, A., Schnoebelen, Ph.: Well-structured transition systems everywhere! Theoretical Computer Science 256(1-2), 63–92 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  4. van Hee, K., et al.: Nested Nets for Adaptive Systems. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 241–260. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  5. van Hee, K., et al.: Checking Properties of Adaptive Workflow Nets. In: Concurrency, Specification and Programming, Informatik-Bericht 206, vol. 1, pp. 92–103. Humboldt-Universitat zu Berlin, Berlin (2006)

    Google Scholar 

  6. Higman, G.: Ordering by divisibility in Abstract Algebra. Proc. London Math. Soc. 3(2), 326–336 (1952)

    Article  MathSciNet  Google Scholar 

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

  8. Hoffmann, K., Ehrig, H., Mossakowski, T.: High-level nets with nets and rules as tokens. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 268–288. Springer, Heidelberg (2005)

    Google Scholar 

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

    MATH  Google Scholar 

  10. Köhler, M., Rölke, H.: Reference and value semantics are equivalent for ordinary object petri nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 309–328. Springer, Heidelberg (2005)

    Google Scholar 

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

  12. Lomazova, I.A.: Modeling Multi-Agent Dynamic Systems with Nested Petri Nets. In: Program Systems: Theoretical Foundations and Applications, pp. 143–156. Fizmatlit, Moscow, Nauka (1999) (in Russian)

    Google Scholar 

  13. Lomazova, I.A.: Nested Petri nets — a Formalism for Specification and Verification of Multi-Agent Distributed Systems. Fundam. Inform. 43(1-4), 195–214 (2000)

    MATH  MathSciNet  Google Scholar 

  14. Lomazova, I.A.: Nested Petri nets: Multi-level and recursive systems. Fundam. Inform. 47(3-4), 283–293 (2001)

    MATH  MathSciNet  Google Scholar 

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

  16. Lomazova, I.A. (ed.): Nested Petri nets: modeling and analysis of distributed systems with object structure. Nauchny Mir, Moscow (2004) (in Russian)

    MATH  Google Scholar 

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

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

  19. Smith, E.: Principles of high-level net theory. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 174–210. Springer, Heidelberg (1998)

    Google Scholar 

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

  21. Valk, R.: Object Petri nets: Using the nets-within-nets paradigm. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 819–848. Springer, Heidelberg (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Irina A. Lomazova

Authors
  1. Irina A. Lomazova
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Arnon Avron Nachum Dershowitz Alexander Rabinovich

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Lomazova, I.A. (2008). Nested Petri Nets for Adaptive Process Modeling. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds) Pillars of Computer Science. Lecture Notes in Computer Science, vol 4800. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78127-1_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-78127-1_25

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-78126-4

  • Online ISBN: 978-3-540-78127-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation