Inicio Explorar Axuda
Iniciar sesión
projects
/
muMLE
Seguir 1
Destacar 0
Fork 0
Ficheiros Incidencias 0 Pull Requests 0 Wiki
Árbore: 3ddfc96532
Ramas Etiquetas
muMLE
/
examples
/
petrinet
/
models
/
m_example_inharc.od

m_example_inharc.od 197 B
Histórico Raw

12345678910111213141516 
  1. # Inhibitor arc example
    2. 

  2. 

  3. p0:PNPlace
    4. 

  4. p1:PNPlace
    5. 

  5. 

  6. t0:PNTransition
    7. 

  7. :arc (p0 -> t0)
    8. 

  8. :arc (t0 -> p1)
    9. 

  9. 

  10. t1:PNTransition
    11. 

  11. :arc (p1 -> t1)
    12. 

  12. :arc (t1 -> p0)
    13. 

  13. 

  14. t2:PNTransition
    15. 

  15. :inh_arc (p0 -> t2)
    16. 

  16. :arc (t2 -> p0)
    17.