Skip to main content
Springer Nature Link
Log in

Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets

  • Conference paper
Applications and Theory of Petri Nets 2005 (ICATPN 2005)

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

Included in the following conference series:

  • 2351 Accesses

Abstract

This paper is a survey of the Stochastic Well-formed Net (SWN) formalism evolution, in particular it discusses the expressiveness of the formalism in terms of ease of use from the modeler point of view, and briefly presents the main results that can be found in the literature about efficient (state space based) analysis of SWN models. Software tools supporting SWN design and analysis are also mentioned in the paper. The goal of the paper is not to present in details the formalism nor the analysis algorithms, but rather to recall the achieved results and to highlight open problems and possible directions for new developments in this research area.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. J. Wiley, Chichester(1995)

    Google Scholar 

  2. Anglano, C., Donatelli, S., Gaeta, R.: Parallel architectures with regular structure: a case study in modelling using SWN. In: Proc. 5th Intern. Workshop on Petri Nets and Performance Models, Toulouse, France, IEEE-CS Press, Los Alamitos (1993)

    Google Scholar 

  3. Baarir, S., Haddad, S., Ilié, J.M.: Exploiting partial symmetries in well-formed nets for the reachability and the linear time model checking problems. In: Proc. of WODES 2004, IFAC Workshop on Discrete Event Systems, Reims, France (September 2004)

    Google Scholar 

  4. Ballarini, P., Donatelli, S., Franceschinis, G.: Parametric stochastic well-formed nets and compositional modelling. In: Proc. 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark (June 2000)

    Google Scholar 

  5. Beccuti, M.: Tesi di laurea. trattamento delle simmetrie parziali nelle reti di Petri (in italian.), Università del Piemonte Orientale, Alessandria, Italy

    Google Scholar 

  6. Bellettini, C., Capra, L.: A quotient graph for asymmetric distributed systems. In: Proc. Of the 12th IEEE International Symposium on Modeling Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2004). IEEE-CS, Los Alamitos (2004)

    Google Scholar 

  7. Bernardi, S., Donatelli, S., Horváth, a.A.: Implementing compositionality for stochastic Petri nets. Journal of Software Tools for Technology Transfer 3(4), 417–430 (2001), Special section on the pratical use of high-level Petri Nets

    MATH  Google Scholar 

  8. Best, E., Flrishhacl ANF, H., Fraczak, W., Hopkins, R., Klaudel, H., Pelz, E.: A class of composable high level Petri nets with an application to the semantics of B(PN)2. In: DeMichelis, G., Díaz, M. (eds.) ICATPN 1995. LNCS, vol. 935, Springer, Heidelberg (1995)

    Google Scholar 

  9. Buchholz, P.: Exact and ordinary lumpability in finite markov chains. Journal of Applied Probability 31, 59–74 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  10. Capra, L.: Exploiting partial symmetries in SWN models. PhD thesis, Università di Torino (2001)

    Google Scholar 

  11. Capra, L., De Pierro, M., Franceschinis, G.: An application example of symbolic calculus for SWN structural relations. In: Proceedings of the 7th International Workshop on Discrete Event Systems, 2004, Reims, France. Elsevier-Oxford (2005)

    Google Scholar 

  12. Capra, L., De Pierro, M., Franceschinis, G.: A high level language for structural relations in well-formed nets. In: Proc. of 26th Int. Conf. on Application and Theory of Petri Nets and other models of concurrency, ATPN 2005, Miami,FL,USA. LNCS. Springer, Heidelberg (2005)

    Google Scholar 

  13. Capra, L., Dutheillet, C., Franceschinis, G., Ilié, J.-M.: Towards performance analysis with partially symmetrical SWN. In: Proc. of the 9th IEEE International Symposium on Modeling Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 1999). IEEE-CS, Los Alamitos (1999)

    Google Scholar 

  14. Capra, L., Dutheillet, C., Franceschinis, G., Ilié, J.-M.: Exploiting partial symmetries for markov chain aggregation. Electronic Notes in Theoretical Computer Science 39(3) (2000)

    Google Scholar 

  15. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: On Well-Formed coloured nets and their symbolic reachability graph. In: Jensen, K., Rozenberg, G. (eds.) Proc. 11th Intern. Conference on Application and Theory of Petri Nets, Paris, France, June 1990, Springer, Heidelberg (1990)

    Google Scholar 

  16. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed coloured nets for symmetric modelling applications. IEEE TC 42(11), 1343–1360 (1993)

    Google Scholar 

  17. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: A Symbolic Reachability Graph for Coloured Petri Nets. Theoretical Computer Science B (Logic, semantics and theory of programming) 176(1&2), 39–65 (1997)

    MATH  MathSciNet  Google Scholar 

  18. Chiola, G., Franceschinis, G., Gaeta, R.: Modelling symmetric computer architectures by SWNs. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol. 815. Springer, Heidelberg (1994)

    Google Scholar 

  19. Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M.: GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, special issue on Performance Modeling Tools 24(1&2), 47–68 (1995)

    MATH  Google Scholar 

  20. Ciardo, G., Miner, A.: A data structure for the efficient Kronecker solution of GSPNs. In: Proc. of the 8th Int. Workshop on Petri nets and performance models (PNPM 1999), Zaragoza, Spain, September 8–10, 1999, pp. 22–31. IEEE Comp. Soc. Press, Los Alamitos (1999)

    Chapter  Google Scholar 

  21. Couvreur, J.-M., Encrenaz, E., Paviot-Adet, E., Poitrenaud, D.: Data decision diagrams for petri net analysis. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol. 2360, pp. 101–120. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  22. De Pierro, M.: Structural analysis of conflicts and causality in GSPN and SWN. PhD thesis, Università di Torino - Italia (2004)

    Google Scholar 

  23. Delamare, C., Gardan, Y., Moreaux, P.: Performance evaluation with asynchronously decomposable SWN: implementation and case study. In: Proc. of the 10th Int. Workshop on Petri nets and performance models (PNPM 2003), Urbana-Champaign, IL, USA, September 2–5, 2003, pp. 20–29. IEEE Comp. Soc. Press, Los Alamitos (2003)

    Chapter  Google Scholar 

  24. Donatelli, S.: Kronecker algebra and Petri nets: is it worth the effort? In: Valette, R. (ed.) ICATPN 1994. LNCS, vol. 815. Springer, Heidelberg (1994)

    Google Scholar 

  25. Donatelli, S.: Superposed Generalized Stochastic Petri Nets: definition and efficient solution. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol. 815, Springer, Heidelberg (1994)

    Google Scholar 

  26. Donatelli, S., Ferro, L.: Validation of GSPN and SWN models through the PROD tool. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, p. 131. Springer, Heidelberg (2002)

    Google Scholar 

  27. Donatelli, S., Franceschinis, G.: The PSR methodology: integrating hardware and software models. In: Billington, J., Reisig, W. (eds.) ICATPN 1996. LNCS, vol. 1091. Springer, Heidelberg (1996)

    Google Scholar 

  28. Duret-Lutz, A., Poitrenaud, D.: SPOT: an extensible model checking library using transition-based generalized buchi automata. In: Proc. of 12th IEEE/ACM Int. Symp. on Modeling, Analysis and Simulation of Computer and Teleccommunication Sustems (MASCOTS 2004), Volendam, Netherlands (September 2004)

    Google Scholar 

  29. Dutheillet, C., Haddad, S.: Regular stochastic Petri nets. In: Proc. 10th Intern. Conf. Application and Theory of Petri Nets, Bonn, Germany (June 1989)

    Google Scholar 

  30. Franceschinis, G., Gribaudo, M., Iacono, M., Marrone, S., Mazzocca, N., Vittorini, V.: Compositional modeling of complex systems: contact center scenarios in OsMoSys. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  31. Franceschinis, G., Vittorini, V., Marrone, S., Mazzocca, N.: Swn client-server composition operators in the OsMoSys framework. In: Proceedings 10th International Workshop on Petri Net and Performance Models (PNPM 2003), Urbana-Champaign, IL, USA, pp. 52–61. IEEE CS, Los Alamitos (2003)

    Chapter  Google Scholar 

  32. Gaeta, G.: Efficient discrete-event simulation of colored Petri nets. IEEE Transaction on Software Engineering 22(9) (September 1996)

    Google Scholar 

  33. Gribaudo, M., Codetta Raiteri, D., Franceschinis, G.: Draw-net: a customizable multi-formalism, multi-solution tool for the quantitative evaluation of system. In: Submitted for publication to QEST 2005 (2005)

    Google Scholar 

  34. Haddad, S.: Une Categorie Regulier de Reseau de Petri de Haut Niveau: Definition, Proprietes et Reductions. PhD thesis, Lab. MASI, Universite P. et M. Curie (Paris 6), Paris, France, These de Doctorat, RR87/197 (in French) (October 1987)

    Google Scholar 

  35. Haddad, S., Ilié, J.-M., Ajami, K.: A model checking method for partially symmetric systems. In: Proc. of FORTE/PSTV 2000, pp. 121–136. Kluwer, Dordrecht (2000)

    Google Scholar 

  36. Haddad, S., Ilié, J.M., Taghelit, M., Zouari, B.: Symbolic Reachability Graph and Partial Symmetries. In: DeMichelis, G., Díaz, M. (eds.) ICATPN 1995. LNCS, vol. 935, pp. 238–257. Springer, Heidelberg (1995)

    Google Scholar 

  37. Haddad, S., Moreaux, P.: Evaluation of high level Petri nets by means of aggregation and decomposition. In: Proc. of the 6th International Workshop on Petri Nets and Performance Models, Durham, NC, USA, October 3–6, 1995, pp. 11–20. IEEE Computer Society Press, Los Alamitos (1995)

    Chapter  Google Scholar 

  38. Haddad, S., Moreaux, P.: Asynchronous composition of high level Petri nets: a quantitative approach. In: Billington, J., Reisig, W. (eds.) ICATPN 1996. LNCS, vol. 1091, pp. 193–211. Springer, Heidelberg (1996)

    Google Scholar 

  39. Ilié, J.-M., Baarir, S., Duret-Lutz, A.: Improving reachability analysis for partially symmetric high level Petri nets. In: Proc. of 12th IEEE/ACM Int. Symp. on Modeling, Analysis and Simulation of Computer and Teleccommunication Sustems (MASCOTS 2004), Volendam, Netherlands (September 2004)

    Google Scholar 

  40. Ilié, J.M., Baarir, S., Beccuti, M., Delamare, C., Donatelli, S., Dutheillet, C., Franceschinis, G., Gaeta, R., Moreaux, P.: Extended SWN solvers in greatspn. In: Proc. 1st Int. Conf. on Quantitative Evaluation of Systems (QEST 2004), Enschede, The Netherlands (September 2004) (Tool presentation paper)

    Google Scholar 

  41. Jensen, K.: Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, vol. 1. Springer, Heidelberg (1992)

    MATH  Google Scholar 

  42. Jensen, K.: Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, vol. 2. Springer, Heidelberg (1995)

    MATH  Google Scholar 

  43. Isabel, C., Rojas, M.: Compositional construction and Analysis of Petri net Systems. PhD thesis, University of Edinburgh (1997)

    Google Scholar 

  44. Sanders, W.H., Meyer, J.F.: Stochastic activity networks: Formal definitions and concepts. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol. 2090, pp. 315–343. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  45. Sibertin-Blanc, C.: Comunicative and cooperative nets. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol. 815. Springer, Heidelberg (1994)

    Google Scholar 

  46. Sibertin-Blanc, C.: CoOperative Objects: Principles, use and implementation. In: Agha, G., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2001, p. 216. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  47. Teruel, E., Franceschinis, G., De Pierro, M.: Well-defined generalized stochastic Petri nets: A net-level method to specify priorities. IEEE TSE 29(11), 962–973 (2003)

    Google Scholar 

  48. Thierry-Mieg, Y.: Techniques pour le Model Checking de spécifications de haut niveau. PhD thesis, Univ. of Paris VI (2004)

    Google Scholar 

  49. Thierry-Mieg, Y., Dutheillet, C., Mounier, I.: Automatic symmetry detection in Well-formed Nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 82–101. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  50. Thierry-Mieg, Y., Ilié, J.-M., Poitrenaud, D.: A symbolic symbolic state space. In: de Frutos-Escrig, D., Núñez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 276–291. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  51. Vittorini, V., Franceschinis, G., Gribaudo, M., Iacono, M., Mazzocca, N.: Drawnet++: Model objects to support performance analysis and simulation of complex systems. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 233–238. Springer, Heidelberg (2002)

    Google Scholar 

  52. Vittorini, V., Iacono, M., Mazzocca, N., Franceschinis, G.: The osmosys approach to multi-formalism modeling of systems. Journal of Software and System Modeling 3(1) (March 2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dip.Informatica, Univ. del Piemonte Orientale, Alessandria, Italy

    Giuliana Franceschinis

Authors
  1. Giuliana Franceschinis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. UC Riverside,  

    Gianfranco Ciardo

  2. IRISA, CNRS & INRIA, Rennes, France

    Philippe Darondeau

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Franceschinis, G. (2005). Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets. In: Ciardo, G., Darondeau, P. (eds) Applications and Theory of Petri Nets 2005. ICATPN 2005. Lecture Notes in Computer Science, vol 3536. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11494744_1

Download citation

  • DOI: https://doi.org/10.1007/11494744_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-26301-2

  • Online ISBN: 978-3-540-31559-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics