@namespace(uri="petrinets1", prefix="petrinets1") | |
package petrinets; | |
class Net { | |
val Place[*]#net places; | |
val Transition[*]#net transitions; | |
} | |
class Place { | |
ref Net[1]#places net; | |
attr String name; | |
ref Transition[*]#dst src; | |
ref Transition[*]#src dst; | |
} | |
class Transition { | |
ref Net[1]#transitions net; | |
attr String name; | |
ref Place[1..*]#dst src; | |
ref Place[1..*]#src dst; | |
} |