Skip to content
Jere B edited this page Mar 15, 2020 · 4 revisions

Trabajo Práctico 3

Integrantes:

  • Benítez, Darío Jeremías
  • Foukal, Francisco
  • Ourthe, Nahuel
  • Perez, Bruno Santiago

Contenidos:

  1. Introducción
  2. Red de Petri
  3. Código JAVA
    1. Invariantes P
    2. Monitor
    3. Política
    4. Extras
  4. Invariantes T
  5. Análisis
    1. Temporal
    2. De Funcionamiento

Clone this wiki locally