Automatic Control and Computer Sciences

, Volume 47, Issue 7, pp 393–402 | Cite as

CPN tools-assisted simulation and verification of nested Petri nets

Article

Abstract

Nested Petri nets (NP-nets) is an extension of Petri net formalism within the “nets-within-nets” approach, when tokens in a marking are Petri nets wich have autonomous behavior and synchronize with the system net. The formalism of NP-nets allows modeling multi-level multi-agent systems with dynamic structure in a natural way. Currently there is no tool support for NP-nets simulation and analysis. The paper proposes translation of NP-nets into colored Petri nets and using CPN Tools as a virtual machine for NP-nets modeling, simulation and automatic verification.

Keywords

nested Petri nets colored Petri nets simulation verification 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    ter Hofstede, A.H.M., van der Aalst, W.M.P., Adams, M., and Russell, N., Modern Business Process Automation: YAWL and Its Support Environment, Springer, 2010.CrossRefGoogle Scholar
  2. 2.
    van der Aalst, W.M.P., Stahl, C., and Westergaard, M., Strategies for Modeling Complex Processes Using Colored Petri Nets, ToPNoC V. LNCS 6900, 2012, pp. 265–291.Google Scholar
  3. 3.
    Bashkin, V.A. and Lomazova, I.A., Resource driven automata nets, Fundamenta Informaticae, 2011, vol. 109, no. 3, pp. 223–236.MATHMathSciNetGoogle Scholar
  4. 4.
    Bashkin, V.A. and Lomazova, I.A., Modelling multiagent systems with the help of generalized nets of active resources, Cybernetics and Systems Analysis, 2011, vol. 47, no. 2, pp. 202–209.CrossRefMathSciNetGoogle Scholar
  5. 5.
    Bashkin, V.A. and Lomazova, I.A., Cellular resource-driven automata, Fundamenta Informaticae, 2012, vol. 120, nos. 3–4, pp. 243–257.MATHMathSciNetGoogle Scholar
  6. 6.
    Bashkin, V.A., Lomazova, I.A., and Novikova, Y.A., Timed resource driven automata nets for distributed realtime systems modelling, Proc. of PACT 2013, LNCS 7979, 2013, pp. 13–25.Google Scholar
  7. 7.
    Bednarczyk, M.A., Bernardinello, L., Pawlowski, W., and Pomello, L., Modelling mobility with Petri Hypernets, Recent Trends in Algebraic Development Techniques, LNCS 3423, 2005, pp. 28–44.CrossRefGoogle Scholar
  8. 8.
    Bocăneală, C., Modeling inteligent systems with level Petri nets, Annals of Dunarea de Jos Year, 2008, vol. 31, no. 2, pp. 31–36.Google Scholar
  9. 9.
    Chang, L., He, X., Lian, J., and Shatz, S., Applying a nested Petri net modeling paradigm to coordination of sensor networks with mobile agents, Proc. of Workshop on Petri Nets and Distributed Systems, Xian, China, 2008, pp. 132–145.Google Scholar
  10. 10.
    Dvoryansky, L.V. and Lomazova, I.A., On compositionality of boundedness and liveness for nested Petri nets, Fundamenta Informaticae, 2012, vol. 120, nos. 3–4, pp. 277–295.Google Scholar
  11. 11.
    van Hee, K., Lomazova, I. A., Oanea, O., Serebrenik, A., Sidorova, N., and Voorhoeve, M., Nested nets for adaptive systems, Proc. ICATPN, LNCS 4024, 2006, pp. 241–260.Google Scholar
  12. 12.
    van Hee, K., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M., and Lomazova, I.A., Checking properties of adaptive workflow nets, Fundamenta Informaticae, 2007, vol. 79.Google Scholar
  13. 13.
    Hoffmann, K., Ehrig, H., and Mossakowski, T., High-level nets with nets and rules as tokens, Proc. ICATPN, LNCS 3536, 2005, pp. 268–288.Google Scholar
  14. 14.
    Jensen, K. and Kristensen, L.M., Coloured Petri Nets: Modelling and Validation of Concurrent Systems, Springer, 2009.CrossRefGoogle Scholar
  15. 15.
    Jensen, K., Kristensen, L.M., and Wells, L., Coloured Petri nets and CPN tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, 2007, vol. 9, nos. 3–4, pp. 213–254.CrossRefGoogle Scholar
  16. 16.
    Köhler, M. and Farwer, M., Object nets for mobility, Proc. ICATPN, LNCS 4546, 2007, pp. 244–262.Google Scholar
  17. 17.
    Köhler-Bussmeier, M., Hornets: nets within nets combined with net algebra, Proc. Applications and Theory of Petri Nets, LNCS 5606, 2009, pp. 243–262.CrossRefGoogle Scholar
  18. 18.
    Lomazova, I.A., Nested Petri nets-a formalism for specification and verification of multi-agent distributed systems, Fundamenta Informaticae, 2000, vol. 43, nos. 1–4, pp. 195–214.MATHMathSciNetGoogle Scholar
  19. 19.
    Lomazova, I.A., Nested Petri nets: multi-level and recursive systems, Fundamenta Informaticae, 2001, vol. 47, nos. 3–4, pp. 283–293.MATHMathSciNetGoogle Scholar
  20. 20.
    Lomazova, I.A., Modeling dynamic objects in distributed systems with nested Petri nets, Fundamenta Informaticae, 2002, vol. 51, nos. 1–2, pp. 121–133.MATHMathSciNetGoogle Scholar
  21. 21.
    Lomazova, I.A., Nested Petri nets for adaptive process modeling, Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, LNCS 4800, 2008, pp. 460–474.CrossRefGoogle Scholar
  22. 22.
    Mascheroni, M. and Farina, F., Nets-Within-Nets paradigm and grid computing, Transactions on Petri Nets and Other Models of Concurrency V, LNCS 7347, 2012, pp. 201–220.CrossRefGoogle Scholar
  23. 23.
    Valk, R., Petri nets as token objects: an introduction to elementary object nets, Proc. of ICATPN’98, LNCS 1420, 1998, pp. 1–25.Google Scholar
  24. 24.

Copyright information

© Allerton Press, Inc. 2013

Authors and Affiliations

  1. 1.National Research University Higher School of EconomicsMoscowRussia
  2. 2.Program Systems Institute of the Russian Academy of SciencesPereslavl-ZalesskyRussia

Personalised recommendations