Skip to main content
Springer Nature Link
Log in

Parametric Stochastic Well-Formed Nets and Compositional Modelling

  • Conference paper
  • First Online:
Application and Theory of Petri Nets 2000 (ICATPN 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1825))

Included in the following conference series:

  • 682 Accesses

Abstract

Colored nets have been recognized as a powerful modelling paradigm for the validation and evaluation of systems, both in terms of compact representation and aggregate state space generation. In this paper we discuss the issue of adding compositionality to a class of stochastic colored nets named Stochastic Well-formed Nets, in order to increase modularity and reuse of the modelling efforts. This requires the notion of Parametric Stochastic Well-formed net: nets in which a certain amount of information is left unspecified, and is instantiated only upon model composition. The choice of the compositional rule has been based on previous work on layered models for integrated hardware and software systems (the processes, services and resources methodology), and an example of layered modelling with Parametric Stochastic Well-formed net is presented to show the efficacy of the proposed formalism.

We acknowledge contribution of the EEC project 28620 TIRAN.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Similar content being viewed by others

References

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

    Google Scholar 

  2. C. Anglano, S. Donatelli, and R. Gaeta. 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, October 1993. IEEE-CS Press.

    Google Scholar 

  3. E. Battiston, O. Botti, E. Crivelli, and F. De Cindio. An incremental specification of a hydroelectric power plant control system using a class of modular algebraic nets. In Proc. of the 16th international conference on Application and Theory of Petri nets 1995, Torino, Italy, 1995. Springer Verlag. Volume LNCS935.

    Google Scholar 

  4. E. Best, H. Flrishhacl ANF W. Fraczak, R. Hopkins, H. Klaudel, and E. Pelz. A class of composable high level Petri nets with an application to the semantics of B(PN)2. In Proc. of the 16th international conference on Application and Theory of Petri nets 1995, Torino, Italy, 1995. Springer Verlag. Volume LNCS935.

    Google Scholar 

  5. P. Buchholz. A hyerarchical view of GCSPN and its impact on qualitative and quantitative analysis. Journal of Parallel and Distr. Computing, (15), July 1992.

    Google Scholar 

  6. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. On Well-Formed coloured nets and their symbolic reachability graph. In Proc. 11th Intern. Conference on Application and Theory of Petri Nets, Paris, France, June 1990. Reprinted in High-Level Petri Nets. Theory and Application, K. Jensen and G. Rozenberg (editors), Springer Verlag, 1991.

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  8. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. 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, November 1995.

    MATH  Google Scholar 

  9. S. Christensen and L. Petrucci. Modular state space analysis of coloured Petri nets. In Proc. of the 16th international conference on Application and Theory of Petri nets 1995, Torino, Italy, 1995. Springer Verlag. Volume LNCS935.

    MATH  Google Scholar 

  10. S. Donatelli and G. Franceschinis. The PSR methodology: integrating hardware and software models. In Proc. of the 17th International Conference in Application and Theory of Petri Nets, ICATPN’ 96, Osaka, Japan, june 1996. Springer Verlag. LNCS, Vol 1091.

    MATH  Google Scholar 

  11. S. Haddad and P. Moreaux. 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, North Carolina, U.S.A, October 1995.

    Google Scholar 

  12. K. Jensen. Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use. Volume 1. Springer Verlag, 1992.

    Google Scholar 

  13. K. Jensen. Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use. Volume 2. Springer Verlag, 1995.

    Google Scholar 

  14. Isabel C. Rojas M. Compositional construction and Analysis of Petri net Systems. PhD thesis, University of Edinburgh, 1997.

    Google Scholar 

  15. E. Teruel, G. Franceschinis, and M. De Pierro. Clarifying the priority specification of gspn: Detached priorities. In Proc. 8th Intern. Workshop on Petri Nets and Performance Models, Zaragoza, Spain, September 1999. IEEE-CS Press.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dip.to di Informatica, Università di Torino, Italy

    Paolo Ballarini & Susanna Donatelli

  2. DSTA, Università del Piemonte Orientale, Alessandria, Italy

    Giuliana Franceschinis

Authors
  1. Paolo Ballarini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Susanna Donatelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Giuliana Franceschinis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Aarhus, Ny Munkegade bldg 540, 8000, Aarhus C, Denmark

    Mogens Nielsen

  2. University of Brighton, Watts Building Lewes Road, Brighton, East Sussex, BN2 4GJ, UK

    Dan Simpson

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ballarini, P., Donatelli, S., Franceschinis, G. (2000). Parametric Stochastic Well-Formed Nets and Compositional Modelling. In: Nielsen, M., Simpson, D. (eds) Application and Theory of Petri Nets 2000. ICATPN 2000. Lecture Notes in Computer Science, vol 1825. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44988-4_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-44988-4_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67693-5

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics