2021-10-10 12:44:16 +00:00
|
|
|
import 'petriNet.ecore'
|
2021-10-09 14:54:52 +00:00
|
|
|
|
|
|
|
|
package petrinet
|
|
|
|
|
|
|
|
|
|
context Network
|
|
|
|
|
inv validName('Invalid name: ' + self.name):
|
|
|
|
|
self.name.matches('[A-Za-z_][A-Za-z0-9_]*')
|
2021-10-15 06:32:59 +00:00
|
|
|
inv uniqNamesNode: self.nodes
|
|
|
|
|
->forAll(n1, n2 | n1 = n2 or n1.name <> n2.name)
|
2021-10-09 14:54:52 +00:00
|
|
|
|
|
|
|
|
context Node
|
|
|
|
|
inv nameMin2Char: self.name.matches('..+')
|
|
|
|
|
inv weirdName: not self.name.matches('([0-9]*|_*)')
|
|
|
|
|
|
|
|
|
|
context Place
|
|
|
|
|
inv negativeQuantity: self.tokens >= 0
|
|
|
|
|
|
|
|
|
|
context Arc
|
|
|
|
|
inv negativeQuantity: self.weight >= 0
|
|
|
|
|
|
|
|
|
|
endpackage
|
