Home Explore Help
Sign In
projects
/
muMLE
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: ad6fcd7a24
Branches Tags
muMLE
/
examples
/
petrinet
/
models
/
m_example_mutex_rt_initial.od

m_example_mutex_rt_initial.od 411 B
History Raw

1234567891011121314151617181920212223242526 
  1. general_1_s:PNPlaceState {
    2. 

  2.   numTokens = 1;
    3. 

  3. }
    4. 

  4. 

  5. general_2_s:PNPlaceState {
    6. 

  6.   numTokens = 1;
    7. 

  7. }
    8. 

  8. 

  9. critical_1_s:PNPlaceState {
    10. 

  10.   numTokens = 0;
    11. 

  11. }
    12. 

  12. 

  13. critical_2_s:PNPlaceState {
    14. 

  14.   numTokens = 0;
    15. 

  15. }
    16. 

  16. 

  17. semaphore_s:PNPlaceState {
    18. 

  18.   numTokens = 1;
    19. 

  19. }
    20. 

  20. 

  21. :pn_of (general_1_s -> general_1)
    22. 

  22. :pn_of (general_2_s -> general_2)
    23. 

  23. :pn_of (critical_1_s -> critical_1)
    24. 

  24. :pn_of (critical_2_s -> critical_2)
    25. 

  25. :pn_of (semaphore_s -> semaphore)
    26. 

  26.