R_findTransition.model 9.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401
  1. {
  2. "csm": {
  3. "nodes": {
  4. "0": {
  5. "typename": {
  6. "type": "string",
  7. "value": "LHSIcon"
  8. },
  9. "position": {
  10. "type": "list<double>",
  11. "value": [
  12. 456,
  13. 163
  14. ]
  15. },
  16. "orientation": {
  17. "type": "double",
  18. "value": 0
  19. },
  20. "scale": {
  21. "type": "list<double>",
  22. "value": [
  23. 1,
  24. 1
  25. ]
  26. },
  27. "mapper": {
  28. "type": "code",
  29. "value": ""
  30. },
  31. "parser": {
  32. "type": "code",
  33. "value": ""
  34. },
  35. "$contents": {
  36. "type": "map<string,*>",
  37. "value": {
  38. "nodes": {
  39. "4": {
  40. "segments": {
  41. "type": "string",
  42. "value": "m0,0 l350,0 l100,250 l-100,250 l-350,0z"
  43. },
  44. "style": {
  45. "type": "map<string,string>",
  46. "value": {
  47. "stroke": "#000000",
  48. "stroke-dasharray": "",
  49. "fill": "#ffffff",
  50. "fill-opacity": 0.75,
  51. "stroke-width": 2,
  52. "arrow-start": "none",
  53. "arrow-end": "none"
  54. }
  55. },
  56. "mapper": {
  57. "type": "code",
  58. "value": ""
  59. },
  60. "parser": {
  61. "type": "code",
  62. "value": ""
  63. },
  64. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  65. "position": {
  66. "type": "list<double>",
  67. "value": [
  68. 1,
  69. 0
  70. ]
  71. },
  72. "orientation": {
  73. "type": "double",
  74. "value": 0
  75. },
  76. "scale": {
  77. "type": "list<double>",
  78. "value": [
  79. 1,
  80. 1
  81. ]
  82. }
  83. }
  84. },
  85. "edges": []
  86. }
  87. },
  88. "$asuri": {
  89. "type": "string",
  90. "value": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/LHS/0.instance"
  91. },
  92. "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/LHSIcon"
  93. },
  94. "3": {
  95. "typename": {
  96. "type": "string",
  97. "value": "TransitionIcon"
  98. },
  99. "position": {
  100. "type": "list<double>",
  101. "value": [
  102. 644,
  103. 366
  104. ]
  105. },
  106. "orientation": {
  107. "type": "double",
  108. "value": 0
  109. },
  110. "scale": {
  111. "type": "list<double>",
  112. "value": [
  113. 1,
  114. 1
  115. ]
  116. },
  117. "mapper": {
  118. "type": "code",
  119. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  120. },
  121. "parser": {
  122. "type": "code",
  123. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  124. },
  125. "$contents": {
  126. "type": "map<string,*>",
  127. "value": {
  128. "nodes": {
  129. "8": {
  130. "width": {
  131. "type": "double",
  132. "value": 20
  133. },
  134. "height": {
  135. "type": "double",
  136. "value": 40
  137. },
  138. "cornerRadius": {
  139. "type": "double",
  140. "value": 5
  141. },
  142. "style": {
  143. "type": "map<string,string>",
  144. "value": {
  145. "stroke": "#000000",
  146. "stroke-dasharray": "",
  147. "fill": "#000000",
  148. "fill-opacity": 0.75,
  149. "font-size": "20px",
  150. "stroke-width": 1,
  151. "arrow-start": "none",
  152. "arrow-end": "none"
  153. }
  154. },
  155. "mapper": {
  156. "type": "code",
  157. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  158. },
  159. "parser": {
  160. "type": "code",
  161. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  162. },
  163. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle",
  164. "position": {
  165. "type": "list<double>",
  166. "value": [
  167. 12,
  168. 2
  169. ]
  170. },
  171. "orientation": {
  172. "type": "double",
  173. "value": 0
  174. },
  175. "scale": {
  176. "type": "list<double>",
  177. "value": [
  178. 1,
  179. 1
  180. ]
  181. }
  182. },
  183. "9": {
  184. "textContent": {
  185. "type": "string",
  186. "value": "Name"
  187. },
  188. "style": {
  189. "type": "map<string,string>",
  190. "value": {
  191. "stroke": "#000000",
  192. "stroke-dasharray": "",
  193. "fill": "#ffffff",
  194. "fill-opacity": 0.75,
  195. "font-size": "15px",
  196. "stroke-width": 1,
  197. "arrow-start": "none",
  198. "arrow-end": "none"
  199. }
  200. },
  201. "mapper": {
  202. "type": "code",
  203. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  204. },
  205. "parser": {
  206. "type": "code",
  207. "value": "/* mapping and parsing code is disabled by default because pattern attribute values are code */"
  208. },
  209. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
  210. "position": {
  211. "type": "list<double>",
  212. "value": [
  213. 5,
  214. 47
  215. ]
  216. },
  217. "orientation": {
  218. "type": "double",
  219. "value": 0
  220. },
  221. "scale": {
  222. "type": "list<double>",
  223. "value": [
  224. 1,
  225. 1
  226. ]
  227. }
  228. },
  229. "__pLabelText": {
  230. "position": {
  231. "type": "list<double>",
  232. "value": [
  233. 0,
  234. 0
  235. ]
  236. },
  237. "orientation": {
  238. "type": "double",
  239. "value": 0
  240. },
  241. "scale": {
  242. "type": "list<double>",
  243. "value": [
  244. 1,
  245. 1
  246. ]
  247. },
  248. "textContent": {
  249. "type": "string",
  250. "value": "0"
  251. },
  252. "style": {
  253. "type": "map<string,string>",
  254. "value": {
  255. "stroke": "#6000ff",
  256. "fill": "#6000ff",
  257. "font-size": "15px",
  258. "opacity": "1"
  259. }
  260. },
  261. "mapper": {
  262. "type": "code",
  263. "value": "({'textContent':getAttr('__pLabel')})"
  264. },
  265. "parser": {
  266. "type": "code",
  267. "value": "({'__pLabel':getAttr('textContent')})"
  268. },
  269. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text"
  270. }
  271. },
  272. "edges": []
  273. }
  274. },
  275. "$asuri": {
  276. "type": "string",
  277. "value": "/Formalisms/PN/PN.pattern/__pTransition/3.instance"
  278. },
  279. "$type": "/Formalisms/PN/PN.defaultIcons.pattern/__pTransitionIcon"
  280. },
  281. "4": {
  282. "link-style": {
  283. "type": "map<string,string>",
  284. "value": {
  285. "stroke": "#00ff00",
  286. "stroke-dasharray": "",
  287. "stroke-opacity": 0.2,
  288. "stroke-width": 1,
  289. "arrow-start": "none",
  290. "arrow-end": "classic-wide-long"
  291. }
  292. },
  293. "typename": {
  294. "type": "string",
  295. "value": "PatternContentsLink"
  296. },
  297. "position": {
  298. "type": "list<double>",
  299. "value": [
  300. 561.5,
  301. 280.75
  302. ]
  303. },
  304. "orientation": {
  305. "type": "double",
  306. "value": 0
  307. },
  308. "scale": {
  309. "type": "list<double>",
  310. "value": [
  311. 1,
  312. 1
  313. ]
  314. },
  315. "mapper": {
  316. "type": "code",
  317. "value": ""
  318. },
  319. "parser": {
  320. "type": "code",
  321. "value": ""
  322. },
  323. "$contents": {
  324. "type": "map<string,*>",
  325. "value": {
  326. "nodes": {},
  327. "edges": []
  328. }
  329. },
  330. "$asuri": {
  331. "type": "string",
  332. "value": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents/4.instance"
  333. },
  334. "$segments": {
  335. "type": "map<string,list<string>>",
  336. "value": {
  337. "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/LHSIcon/0.instance--/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/4.instance": "M457,163L561.5,280.75",
  338. "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink/4.instance--/Formalisms/PN/PN.defaultIcons.pattern/__pTransitionIcon/3.instance": "M561.5497296019666,280.8060350299671L665.9994280289533,398.4993555063086"
  339. }
  340. },
  341. "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons/PatternContentsLink"
  342. }
  343. },
  344. "edges": [],
  345. "metamodels": [
  346. "/Formalisms/__Transformations__/TransformationRule/TransformationRule.defaultIcons",
  347. "/Formalisms/PN/PN.defaultIcons.pattern"
  348. ]
  349. },
  350. "asm": {
  351. "nodes": {
  352. "0": {
  353. "Condition": {
  354. "type": "code",
  355. "value": "result = True"
  356. },
  357. "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/LHS"
  358. },
  359. "3": {
  360. "__pLabel": {
  361. "type": "string",
  362. "value": "0"
  363. },
  364. "__pPivotIn": {
  365. "type": "string",
  366. "value": ""
  367. },
  368. "__pPivotOut": {
  369. "type": "string",
  370. "value": "readyForSimulation"
  371. },
  372. "__pMatchSubtypes": {
  373. "type": "boolean",
  374. "value": false
  375. },
  376. "tname": {
  377. "type": "code",
  378. "value": "result = True"
  379. },
  380. "$type": "/Formalisms/PN/PN.pattern/__pTransition"
  381. },
  382. "4": {
  383. "$type": "/Formalisms/__Transformations__/TransformationRule/TransformationRule/PatternContents"
  384. }
  385. },
  386. "edges": [
  387. {
  388. "src": "0",
  389. "dest": "4"
  390. },
  391. {
  392. "src": "4",
  393. "dest": "3"
  394. }
  395. ],
  396. "metamodels": [
  397. "/Formalisms/__Transformations__/TransformationRule/TransformationRule",
  398. "/Formalisms/PN/PN.pattern"
  399. ]
  400. }
  401. }