Skip to main content
SpringerLink
Log in

Interleaving functional and performance structural analysis of net models

Extended abstract

  • Invited Papers
  • Conference paper
  • First Online:
Application and Theory of Petri Nets 1993 (ICATPN 1993)

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

Included in the following conference series:

Abstract

The design of parallel and distributed systems requires considering both functional and performance specifications and properties. The use of a single family of models to deal with both aspects, plus appropriate analysis techniques, are very important in practice. Petri Nets are one of the formal description techniques able to capture both functional and performance aspects. We illustrate here, after our research experience, how the interleaving of the functional and the performance analysis theories produces a synergetic situation, in which each contributes to the development of the other.

The work of the author in this field is presently supported by the Spanish CICYT ROB 91-0949 and the ESPRIT-BRA Project 7269 (QMIPS) and WG 6067 (CALIBAN). J. Campos, G. Chiola, J.M. Colom and E. Teruel extensively contribute to this research program.

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.

References

  1. G. Berthelot. Transformations and Decompositions of Nets. In Advance Course on Petri Nets (W. Brauer, W. Reisig, G. Rozenberg, eds.). LNCS 254: 359–376. Springer-Verlag.

    Google Scholar 

  2. E. Best. Structure theory of Petri Nets: The free choice hiatus. In Advances Course on Petri Nets. LNCS 254: 168–205. Springer-Verlag.

    Google Scholar 

  3. J. Campos, G. Chiola, J.M. Colom, M. Silva. Properties and performance bounds for timed marked graphs. IEEE Transactions on Circuits and Systems I: Fundamental theory and applications, 39(5):386–401.

    Google Scholar 

  4. J. Campos, J.M. Colom, H. Jungnitz, M.Silva. A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. Dpto. de Ingeniería Eléctrica e Informática, Universidad de Zaragoza. RR-93-06. 18 pages.

    Google Scholar 

  5. J. Campos, J.M. Colom, M. Silva. Performance Evaluation of Repetitive Automated Manufacturing Systems. Rensselaer's 2nd Int. Conf. on Computer Integrated Manufacturing. IEEE Computer Society Press: 74–81.

    Google Scholar 

  6. J. Campos, G. Chiola, M. Silva. Properties and performance bounds for closed free choice synchronized monoclass queueing networks. IEEE Transactions on Automatic Control (Special Issue on Multidimensional Queueing Networks) 36(12): 1368–1382.

    Google Scholar 

  7. J. Campos, M. Silva. Steady-state performance evaluation of totally open systems of Markovian sequential processes. In Decentralized Systems (M. Cosnard and C. Girault, eds.). North-Holland, Amsterdam, 427–438.

    Google Scholar 

  8. J.M. Colom, M. Silva. Improving the linearly based characterization of P/T nets. In Advances in Petri Nets 90, LNCS 483: 113–145. Springer-Verlag.

    Google Scholar 

  9. J. Campos, M. Silva. Structural techniques and performance bounds of stochastic Petri net models. Advances in Petri Nets'92 (G. Rozenberg, ed.), LNCS 609:352–391. Spriger-Verlag.

    Google Scholar 

  10. J. Campos, M. Silva. Embedded queueing networks and the improvement of insensitive performance bounds for Markovian Petri Net systems. To appear in Performance Evaluation.

    Google Scholar 

  11. F. Commoner, A.W. Holt, S. Even, A. Pnueli. Marked Directed Graphs. J. Comput. System Sci. 5:72–79.

    Google Scholar 

  12. J. Desel. A proof of the Rank theorem for extended free choice nets. In Applications and Theory of Petri Nets 1992 (Kurt Jensen, ed.). LNCS 616: 134–153. Springer-Verlag.

    Google Scholar 

  13. A. Desrochers, H. Jungnitz, M. Silva. An approximation method for the performance analysis of manufacturing systems based on GSPNs. Procs. of Rensselaer's 3rd. Int. Conference on Computer Integrated Manufacturing, IEEE Computer Society Press, Troy (NY):46–55

    Google Scholar 

  14. Y. Dallery, Z. Liu, D. Towsley. Equivalence, Reversibility and Symmetries Properties in Fork Join Queueing Networks with Blocking. In Technical Report MASI 90–32, Universite Paris 6.

    Google Scholar 

  15. J. Esparza, M. Silva. On the analysis and synthesis of free choice systems. Advances in Petri Nets'90 (G. Rozenberg, ed.), LNCS 483:243–286. Springer-Verlag.

    Google Scholar 

  16. J. Esparza, M. Silva. Top-down synthesis of live and bounded free choice nets. Advances in Petri Nets'91 (G. Rozenberg, ed.), LNCS 524:118–139. Springer-Verlag.

    Google Scholar 

  17. H.J. Genrich, K. Lautenbach. Synchronizations graphen. In Acta Informática 2: 143–161.

    Google Scholar 

  18. M.H.T. Hack Analysis of Production Schemata by Petri Nets. M.S.Thesis, Project MAC TR-94, MIT, Cambridge, Massachusetts. (Corrections in Computation Structures Note 17, 1974.)

    Google Scholar 

  19. H. Jungnitz, B. Sanchez, M. Silva. Approximate throughput computation of stochastic marked graphs. Journal and Parallel and Distributed Computing 15:282–295.

    Google Scholar 

  20. K. Lautenbach. Linear Algebraie Techniques for Place/Transition Nets. In Petri Nets: Central Models and their Properties. Advances in Petri Nets 86, LNCS 254:142–167. Springer-Verlag.

    Google Scholar 

  21. T. Murata. Petri Nets: Properties, Analysis and Applications. Procs. IEEE 77,4:541–580.

    Google Scholar 

  22. W. Reisig. Petri Nets-An Introduction. Springer-Verlag.

    Google Scholar 

  23. M. Silva, J.M. Colom. On the Computation of Structural Synchronic Invariants in P/T Nets. In Advances in Petri Nets 88, LNCS 340:387–417. Springer-Verlag.

    Google Scholar 

  24. M. Silva. Las Redes de Petri en la Automática y en la Informática. Editorial AC, Madrid.

    Google Scholar 

  25. Y. Souissi. Deterministic Systems of Sequential Processes: a Class of Structured Petri Nets. In Procs. 12th Int. Conf. on Appl. and Theory of Petri Nets:62–81. Gjern, Denmark.

    Google Scholar 

  26. E. Teruel, P. Chrzastowski-Wachtel, J.M. Colom, M. Silva. On Weighted T-systems. In Applications and Theory of Petri Nets 1992, LNCS 616:348–367. Springer-Verlag.

    Google Scholar 

  27. E. Teruel, J.M. Colom, M. Silva. Modelling and analysis of deterministic concurrent systems with bulk services and arrivals. Dpto. Ingeniería Eléctrica e Informática, Universidad de Zaragoza, RR-93-09. 20 pages.

    Google Scholar 

  28. E. Teruel, M. Silva. Liveness and Home States in Equal Conflict Systems. In Applications and Theory of Petri Nets 1993 (M. Ajmone Marsan, ed.), LNCS. Springer-Verlag.

    Google Scholar 

  29. P.S. Thiagarajan, K. Voss. A Fresh Look at Free Choice Nets. Information and Control 61, 2:85–113.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dpto. de Ingeniería Eléctrica e Informática Centro Politécnico Superior, Universidad de Zaragoza, María de Luna, 3, 50015, Zaragoza, Spain

    Manuel Silva

Authors
  1. Manuel Silva
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Marco Ajmone Marsan

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Silva, M. (1993). Interleaving functional and performance structural analysis of net models. In: Ajmone Marsan, M. (eds) Application and Theory of Petri Nets 1993. ICATPN 1993. Lecture Notes in Computer Science, vol 691. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56863-8_37

Download citation

  • DOI: https://doi.org/10.1007/3-540-56863-8_37

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56863-6

  • Online ISBN: 978-3-540-47759-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation