Strona główna Odkrywaj Pomoc
Zaloguj się
projects
/
muMLE
Obserwuj 1
Polub 0
Forkuj 0
Pliki Problemy 0 Oczekujące zmiany 0 Wiki
Drzewo: ffc07fd83c
Gałęzie Tagi
muMLE
/
examples
/
petrinet
/
models
/
m_example_simple_rt_initial.od

m_example_simple_rt_initial.od 107 B
Historia Czysty

123456789101112 
  1. p0s:PlaceState {
    2. 

  2.   numTokens = 1;
    3. 

  3. }
    4. 

  4. 

  5. :of (p0s -> p0)
    6. 

  6. 

  7. p1s:PlaceState {
    8. 

  8.   numTokens = 0;
    9. 

  9. }
    10. 

  10. 

  11. :of (p1s -> p1)
    12. 

  12.