Modelado de Sistemas Concurrentes

• Material de clase

• Ejercicios de modelado

• Material para prácticas

• Software

• Trabajos propuestos

• Material de lectura

  • Básico:

    • Introducing Petri Nets,  (IntroRdP.pdf)

     Dicesare, G. Harhalakis, J. M. Proth, M. Silva, and F. B. Vernadat, Practice of Petri Nets in Manufacturing. London, U.K.: Chapman &.Hall, 1993.

    • Capítulo 2 de Proc. of Human Capital and Mobility MATCH---Performance Advanced School,  (matchbook2.pdf)

    E. Teruel, G. Franceschinis, M. Silva, Jaca, Spain, 1998.

  • Paradigma de redes de Petri. Extensiones e interpretaciones:

    • A systems theory perspective of discrete event dynamic systems: the Petri net paradigm (CESA96.pdf)

    M. Silva, E. Teruel in P.Borne, J.C. Gentina, E.Craye, S.El Khattabi, editors, Symposium on Discrete Events and Manufacturing Systems. CESA '96 IMACS Multiconference, pp. 1-12. Lille, France, July 1996.

    • DEDS along their life-cycle: interpreted extension of Petri nets (SMC98.pdf)

    M. Silva, E. Teruel in  IEEE International Conference on Systems, Man and Cybernetics (SMC'98)}, San Diego, USA, 1998.

    • Capítulo 3 de Proc. of Human Capital and Mobility MATCH---Performance Advanced School,Timed Petri nets (matchbook3.pdf)

    G. Chiola Jaca, Spain, 1998.

     

  •  Técnicas de análisis:

    • Capítulo 6 de Proc. of Human Capital and Mobility MATCH---Performance Advanced School (matchbook6.pdf)

    J.M. Colom, E. Teruel, M. Silva, Jaca, Spain, 1998.

    • Linear algebraic and linear programming techniques for the analysis of net systems (LPN98.pdf)

    M. Silva, E. Teruel, J.M. Colom in G. Rozenberg and W. Reisig, editors, Lectures in Petri Nets. I: Basic Models, LNCS 1491, pp. 309-373. Springer, 1998.

    • On linear algebraic techniques for liveness analysis of P/T systems (JCSC.pdf)

    L. Recalde, E. Teruel, M.  Silva in  Journal of Circuits, Systems, and Computers Vol. 8, Nº 1, pp.223-265, 1998.

  • Aplicaciones:

    • Petri nets for the design and operation of manufacturing system (EJC97.pdf)

    M. Silva, E. Teruel, in European Journal of Control Vol. 3 Nº 3 ,pp.182-199,1997.

    • Chapter 26 of Petri Nets for System Engineering: A Guide to Modeling,
      Verification and Applications (Manufacture.pdf)

    J. Ezpeleta,  Springer-Verlag, 2001, ISBN ISB 3-540-41217-4.

    • Petri nets and manufacturing systems: An examples-driven tour (Ap_manufactura.pdf)

    L. Recalde, M. Silva, J.Ezpeleta, E. Teruel, Research report, Dep. Informática e Ingeniería de Sistemas, Universidad de Zaragoza, 2003.

  • Redes coloreadas:

    • Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems (coloreadas.pdf)

    K.Jensen, L.M. Kristensen, L. Wells in Int. J. on Software Tools for Technology Transfer (2007) 9:213–254

  • Redes de Petri y álgebras de procesos:

    • A comparison of performance evaluation (PNPM95.pdf)

    S. Donatelli, M. Ribaudo, J.Hillston in Proc. of 6th International Workshop on Petri Nets and Performance Models - PNPM'95, Durham, N. Carolina, USA, IEEE Computer Soc. Press, pp.158-168

    • A comparison of the expressiveness of SPA and bounded SPN models (PNPM01.pdf)

    J. Hillston, L. Recalde, M. Ribaudo, M. Silva in Proc. of the 9th Int. Conf. on Petri Nets and Performance Models, Aachen, Germany, September 2001. IEEE Computer Society Press, pp 197-206.