my_petrinet.mvc 295 B

1234567891011121314151617181920
  1. import models/PetriNets as PetriNets
  2. PetriNets my_petrinet {
  3. Place p1 {
  4. tokens = 1
  5. }
  6. Place p2 {
  7. tokens = 3
  8. }
  9. Transition t1 {}
  10. P2T (p1, t1) {
  11. weight = 1
  12. }
  13. T2P (t1, p2) {
  14. weight = 2
  15. }
  16. }
  17. export my_petrinet to models/my_petrinet