Skip to main content
SpringerLink
Log in

Regular stochastic petri nets

  • Conference paper
  • First Online:
Advances in Petri Nets 1990 (ICATPN 1989)

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

Included in the following conference series:

Abstract

An extension of regular nets, a class of colored nets, to a stochastic model is proposed. We show that the symmetries in this class of nets make it possible to develop a performance evaluation by constructing only a graph of symbolic markings, which vertices are classes of states, instead of the whole reachability graph. Using algebraic techniques, we prove that all the states in a class have the same probability, and that the coefficients of the linear system describing the lumped Markov process can be calculated directly from the graph of symbolic markings.

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. M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani, "On Petri Nets with Stochastic Timing", in proc. International Workshop on Timed Petri Nets, pp 80–87, IEEE-CS Press, Torino, Italy (July 1985).

    Google Scholar 

  2. M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte, "Generalized Stochastic Petri Nets Revisited: Random Switches and Priorities", in proc. International Workshop on Petri Nets and Performance Models, pp 44–53, IEEE-CS Press, Madison, WI, USA (August 1987).

    Google Scholar 

  3. G. Chiola, "A Graphical Petri Net Tool for Performance Analysis", 3rd International Workshop on Modeling Techniques and Performance Evaluation, AFCET, Paris (March 1987).

    Google Scholar 

  4. G. Chiola, G. Bruno, and T. Demaria, "Introducing a Color Formalism into Generalized Stochastic Petri Nets", in proc. 9th European Workshop on Application and Theory of Petri Nets, pp 202–215, Venezia, Italy (June 1988).

    Google Scholar 

  5. C. Dutheillet, S. Haddad, "Aggregation of States in Colored Stochastic Petri Nets. Application to a Multiprocessor Architecture", in proc. PNPM 89, pp 40–49, IEEE-CS Press, Kyoto, Japan (December 1989).

    Google Scholar 

  6. G. Florin, S. Natkin, "Les Réseaux de Petri Stochastiques", AFCET TSI, vol. 4, no. 1, pp 143–160 (January 1985).

    Google Scholar 

  7. G. Florin, "RDPS, a Software Package for the Validation and the Evaluation of Dependable Computer Systems", 3rd Proc. IFAC SAFECOMP Workshop, Sarlat, France (October 1986).

    Google Scholar 

  8. S. Haddad, "Une Catégorie Régulière de Réseaux de Petri de Haut Niveau: Définition, Propriétés et Réductions", Thèse de Doctorat, RR87/197, Laboratoire MASI, Université Paris VI, Paris, France (October 1987).

    Google Scholar 

  9. S. Haddad and J.M. Couvreur, "Towards a General and Powerful Computation of Flows for Parametrized Coloured Nets", in proc. 9th European Workshop on Application and Theory of Petri Nets, pp 202–215, Venezia, Italy (June 1988).

    Google Scholar 

  10. P. Huber, A.M. Jensen, L.O. Jepsen, and K. Jensen, "Towards Reachability Trees for High Level Petri Nets", 5th European Workshop on Application and Theory of Petri Nets, Aarhus, Denmark (1984).

    Google Scholar 

  11. K. Jensen, "Coloured Petri Nets and the Invariant Method", Theoretical Computer Science 14, pp 317–336 (1981).

    Google Scholar 

  12. K. Jensen, “How to Find Invariants for Coloured Petri Nets”, Mathematical Foundations of Computer Science, LNCS 118, Springer-Verlag (1981).

    Google Scholar 

  13. J. G. Kemeny and J. L. Snell, "Finite Markov Chains", Van Nostrand, Princeton, NJ (1960).

    Google Scholar 

  14. S. Lang, “Algebra”, Addison-Wesley (1977).

    Google Scholar 

  15. Chuang Lin and D. Marinescu, "On Stochastic High Level Petri Nets", in proc. International Workshop on Petri Nets and Performance Models, pp 44–53, IEEE-CS Press, Madison, WI, USA (August 1987).

    Google Scholar 

  16. M. K. Molloy, "On the Integration of Delay and Throughput Measures in Distributed in Distributed Processing Models", Ph.D. Dissertation, University of California, Los Angeles, CA, USA (September 1981).

    Google Scholar 

  17. A. Zenie, "Colored Stochastic Petri Nets", in proc. International Workshop on Timed Petri Nets, pp 262–271, IEEE-CS Press, Torino, Italy (July 1985).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire MASI — CNRS UA 818, Université Pierre & Marie Curie, 4 place Jussieu, 75252, Paris Cedex 05

    C. Dutheillet & S. Haddad

Authors
  1. C. Dutheillet
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. S. Haddad
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dutheillet, C., Haddad, S. (1991). Regular stochastic petri nets. In: Rozenberg, G. (eds) Advances in Petri Nets 1990. ICATPN 1989. Lecture Notes in Computer Science, vol 483. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53863-1_26

Download citation

  • DOI: https://doi.org/10.1007/3-540-53863-1_26

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-46369-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation