Functional and performance analysis of cooperating sequential processes

  • E. Teruel
  • M. Silva
  • J. M. Colom
  • J. Campos
The Petri Net Approach
Part of the Lecture Notes in Control and Information Sciences book series (LNCIS, volume 199)


Sequential Process Continuous Time Markov Chain Home State Reachability Graph Polynomial Time Complexity 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. Ajmone-Marsan, G. Balbo, and G. Conte. Performance Models of Multiprocessor Systems. MIT Press, 1986.Google Scholar
  2. 2.
    H. Ammar and B. Gershwin. Equivalence relations of queueing models of Fork/Join networks with blocking. Performance Evaluation, 10 (1989) 233–345.CrossRefMathSciNetGoogle Scholar
  3. 3.
    G.W. BRAMS. Réseaux de Petri: Théorie et Pratique. Masson, 1983.Google Scholar
  4. 4.
    J. Campos, J.M. Colom, M. Silva, E. Teruel. Functional and performance analysis of cooperating sequential processes. GISI RR-93-20. Univ. Zaragoza. 1993.Google Scholar
  5. 5.
    J.M. Colom, J. Campos, and M. Silva. On liveness analysis through linear algebraic techniques. In Procs. of the AGM of ESPRIT BRA 3148 (DEMON), 1990.Google Scholar
  6. 6.
    J. Campos and M. Silva. Steady-state performance evaluation of totally open systems of Markovian sequential processes. In Decentralized Systems, 427–438. North-Holland, 1990.Google Scholar
  7. 7.
    J. Campos and M. Silva. Structural Techniques and Performance Bounds of Stochastic Petri Net Models. In LNCS 609: 352–391. Springer-Verlag, 1992.Google Scholar
  8. 8.
    E. Gelenbe and G. Pujolle. Introduction to Queuing Networks. Wiley, 1987.Google Scholar
  9. 9.
    U. Herzog. Performance evaluation and formal description. In Procs. of the IEEE Conference CompEuro 91, 750–756. Bologna, 1991.Google Scholar
  10. 10.
    T. Murata. Petri nets: Properties, analysis, and applications. Proceedings of the IEEE, 77(4):541–580, 1989.CrossRefGoogle Scholar
  11. 11.
    W. Reisig. Deterministic buffer synchronization of sequential processes. Acta Informatica 18, 117–134, 1982.CrossRefGoogle Scholar
  12. 12.
    Y. Souissi and N. Beldiceanu. Deterministic Systems of Sequential Processes: Theory and tools. In LNCS 335: 380–400. Springer-Verlag, 1988.Google Scholar
  13. 13.
    M. Silva. Las Redes de Petri: en la Automática y la Informática. AC, 1985.Google Scholar
  14. 14.
    M. Silva. Interleaving functional and performance structural analysis of net models. In LNCS 691: 17–23. Springer-Verlag, 1993.Google Scholar
  15. 15.
    E. Teruel, J.M. Colom and M. Silva. Linear analysis of deadlock-freeness of Petri net models. In Proc. of ECC '93, 2:513–518. North-Holland, 1993.Google Scholar
  16. 16.
    E. Teruel and M. Silva. Liveness and home states in Equal Conflict systems. In LNCS 691:415–432. Springer-Verlag, 1993.Google Scholar
  17. 17.
    E. Teruel and M. Silva. Well-formedness and decomposability of Equal Conflict systems. GISI RR-93-22. Univ. Zaragoza. 1993.Google Scholar

Copyright information

© Springer-Verlag London Limited 1994

Authors and Affiliations

  • E. Teruel
    • 1
  • M. Silva
    • 1
  • J. M. Colom
    • 1
  • J. Campos
    • 1
  1. 1.Dpt. Ing. Eléctrica e Informática. CPSUniv. ZaragozaZaragozaSpain

Personalised recommendations