Начало Каталог Помощ
Вход
projects
/
muMLE
Наблюдаван 1
Харесван 0
Разклонения 0
Файлове Задачи 0 Заявки за сливане 0 Уики
ИН на ревизия: 3ddfc96532
Клонове Маркери
muMLE
/
examples
/
petrinet
/
models
/
m_example_simple_rt_initial.od

m_example_simple_rt_initial.od 117 B
История Директен файл

123456789101112 
  1. p0s:PNPlaceState {
    2. 

  2.   numTokens = 1;
    3. 

  3. }
    4. 

  4. 

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

  6. 

  7. p1s:PNPlaceState {
    8. 

  8.   numTokens = 0;
    9. 

  9. }
    10. 

  10. 

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

  12.