pn_runtime.mvc 542 B

12345678910111213141516171819202122232425
  1. import models/SimpleClassDiagrams as SimpleClassDiagrams
  2. SimpleClassDiagrams PetriNets_Runtime{
  3. SimpleAttribute Natural {}
  4. SimpleAttribute Boolean {}
  5. SimpleAttribute String {}
  6. Class Place {
  7. name : String
  8. tokens : Natural
  9. }
  10. Class Transition {
  11. name : String
  12. executing : Boolean
  13. }
  14. Association P2T (Place, Transition) {
  15. weight : Natural
  16. }
  17. Association T2P (Transition, Place) {
  18. weight : Natural
  19. }
  20. }
  21. export PetriNets_Runtime to models/PetriNets_Runtime