pn_design_model.mvc 359 B

1234567891011121314151617181920212223242526
  1. import models/PetriNets_Design as PetriNets
  2. PetriNets pn {
  3. Place p1 {
  4. tokens = 1
  5. }
  6. Place p2 {
  7. tokens = 2
  8. }
  9. Place p3 {
  10. tokens = 3
  11. }
  12. Transition t1 {}
  13. P2T (p1, t1) {
  14. weight = 1
  15. }
  16. P2T (p2, t1) {
  17. weight = 1
  18. }
  19. T2P (t1, p3) {
  20. weight = 2
  21. }
  22. }
  23. export pn to models/pn