petriNet.ecore bold bold KEEP_LOCATION KEEP_SIZE KEEP_RATIO KEEP_LOCATION KEEP_SIZE KEEP_RATIO KEEP_LOCATION KEEP_SIZE KEEP_RATIO bold KEEP_LOCATION KEEP_SIZE KEEP_RATIO bold labelSize labelSize labelSize labelSize labelSize labelSize italic italic