Interleaving functional and performance structural analysis of net models

Extended abstract
  • Manuel Silva
Invited Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 691)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bert 87]
    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. [Best 87]
    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. [CCCS 92]
    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. [CCJS 93]
    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. [CCS 90]
    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. [CCS 91]
    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. [CS 90]
    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. [CS 91]
    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. [CS 92]
    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. [CS 93]
    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. [CHEP 71]
    F. Commoner, A.W. Holt, S. Even, A. Pnueli. Marked Directed Graphs. J. Comput. System Sci. 5:72–79.Google Scholar
  12. [Dese 92]
    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. [DJS 92]
    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. [DLT 90]
    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. [ES 91a]
    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. [ES 91b]
    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. [GL 73]
    H.J. Genrich, K. Lautenbach. Synchronizations graphen. In Acta Informática 2: 143–161.Google Scholar
  18. [Hack 72]
    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. [JSS 92]
    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. [Laut 87]
    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. [Mura 89]
    T. Murata. Petri Nets: Properties, Analysis and Applications. Procs. IEEE 77,4:541–580.Google Scholar
  22. [Reis 85]
    W. Reisig. Petri Nets-An Introduction. Springer-Verlag.Google Scholar
  23. [SC 88]
    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. [Silv 85]
    M. Silva. Las Redes de Petri en la Automática y en la Informática. Editorial AC, Madrid.Google Scholar
  25. [Soui 91]
    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. [TCCS 92]
    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. [TCS 93]
    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. [TS 93]
    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. [TV 84]
    P.S. Thiagarajan, K. Voss. A Fresh Look at Free Choice Nets. Information and Control 61, 2:85–113.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Manuel Silva
    • 1
  1. 1.Dpto. de Ingeniería Eléctrica e Informática Centro Politécnico SuperiorUniversidad de ZaragozaZaragozaSpain

Personalised recommendations