Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / stateflow_json / regression_json / Parallel2_SFIR_pp.json @ 184630f0

History | View | Annotate | Download (124 KB)

1
{
2
    "Data": [
3
        {
4
            "ArraySize": "",
5
            "CompiledType": "unknown",
6
            "Datatype": "int",
7
            "Id": 1974,
8
            "InitialValue": "0",
9
            "Name": "a",
10
            "Port": 1,
11
            "Scope": "Output"
12
        },
13
        {
14
            "ArraySize": "",
15
            "CompiledType": "unknown",
16
            "Datatype": "int",
17
            "Id": 1975,
18
            "InitialValue": "0",
19
            "Name": "b",
20
            "Port": 2,
21
            "Scope": "Output"
22
        },
23
        {
24
            "ArraySize": "",
25
            "CompiledType": "unknown",
26
            "Datatype": "int",
27
            "Id": 1976,
28
            "InitialValue": "0",
29
            "Name": "dd",
30
            "Port": 3,
31
            "Scope": "Output"
32
        },
33
        {
34
            "ArraySize": "",
35
            "CompiledType": "unknown",
36
            "Datatype": "int",
37
            "Id": 1977,
38
            "InitialValue": "0",
39
            "Name": "c",
40
            "Port": 4,
41
            "Scope": "Output"
42
        },
43
        {
44
            "ArraySize": "",
45
            "CompiledType": "unknown",
46
            "Datatype": "int",
47
            "Id": 1978,
48
            "InitialValue": "0",
49
            "Name": "x",
50
            "Port": 1,
51
            "Scope": "Input"
52
        }
53
    ],
54
    "Events": [
55
        {
56
            "Id": 1979,
57
            "Name": "R",
58
            "Port": 1,
59
            "Scope": "Input"
60
        },
61
        {
62
            "Id": 1980,
63
            "Name": "S",
64
            "Port": 2,
65
            "Scope": "Input"
66
        },
67
        {
68
            "Id": 1981,
69
            "Name": "T",
70
            "Port": 3,
71
            "Scope": "Input"
72
        }
73
    ],
74
    "GraphicalFunctions": [],
75
    "Junctions": [],
76
    "Name": "Parallel2",
77
    "Path": "Parallel2V2_Parallel2",
78
    "SimulinkFunctions": [],
79
    "States": [
80
        {
81
            "Actions": {
82
                "Bind": {
83
                    "actions": "",
84
                    "external_fun": "",
85
                    "inputs": "",
86
                    "original_actions": "",
87
                    "outputs": "",
88
                    "variables": ""
89
                },
90
                "During": {
91
                    "actions": "",
92
                    "external_fun": "",
93
                    "inputs": "",
94
                    "original_actions": "",
95
                    "outputs": "",
96
                    "variables": ""
97
                },
98
                "Entry": {
99
                    "actions": "",
100
                    "external_fun": "",
101
                    "inputs": "",
102
                    "original_actions": "",
103
                    "outputs": "",
104
                    "variables": ""
105
                },
106
                "Exit": {
107
                    "actions": "",
108
                    "external_fun": "",
109
                    "inputs": "",
110
                    "original_actions": "",
111
                    "outputs": "",
112
                    "variables": ""
113
                },
114
                "On": {
115
                    "actions": "",
116
                    "external_fun": "",
117
                    "inputs": "",
118
                    "original_actions": "",
119
                    "outputs": "",
120
                    "variables": ""
121
                },
122
                "OnAfter": {
123
                    "actions": "",
124
                    "external_fun": "",
125
                    "inputs": "",
126
                    "original_actions": "",
127
                    "outputs": "",
128
                    "variables": ""
129
                },
130
                "OnAt": {
131
                    "actions": "",
132
                    "external_fun": "",
133
                    "inputs": "",
134
                    "original_actions": "",
135
                    "outputs": "",
136
                    "variables": ""
137
                },
138
                "OnBefore": {
139
                    "actions": "",
140
                    "external_fun": "",
141
                    "inputs": "",
142
                    "original_actions": "",
143
                    "outputs": "",
144
                    "variables": ""
145
                },
146
                "OnEvery": {
147
                    "actions": "",
148
                    "external_fun": "",
149
                    "inputs": "",
150
                    "original_actions": "",
151
                    "outputs": "",
152
                    "variables": ""
153
                }
154
            },
155
            "Composition": {
156
                "DefaultTransitions": [],
157
                "States": [
158
                    1910,
159
                    1917,
160
                    1931,
161
                    1937
162
                ],
163
                "Substates": [
164
                    "A",
165
                    "B",
166
                    "D",
167
                    "C"
168
                ],
169
                "Type": "PARALLEL_AND"
170
            },
171
            "Id": 1909,
172
            "InnerTransitions": [],
173
            "OuterTransitions": [],
174
            "Path": "Parallel2V2_Parallel2"
175
        },
176
        {
177
            "Actions": {
178
                "Bind": {
179
                    "actions": "",
180
                    "external_fun": "",
181
                    "inputs": "",
182
                    "original_actions": "",
183
                    "outputs": "",
184
                    "variables": ""
185
                },
186
                "During": {
187
                    "actions": "",
188
                    "external_fun": "",
189
                    "inputs": "",
190
                    "original_actions": "",
191
                    "outputs": "",
192
                    "variables": ""
193
                },
194
                "Entry": {
195
                    "actions": "",
196
                    "external_fun": "",
197
                    "inputs": "",
198
                    "original_actions": "",
199
                    "outputs": "",
200
                    "variables": ""
201
                },
202
                "Exit": {
203
                    "actions": "",
204
                    "external_fun": "",
205
                    "inputs": "",
206
                    "original_actions": "",
207
                    "outputs": "",
208
                    "variables": ""
209
                },
210
                "On": {
211
                    "actions": "",
212
                    "external_fun": "",
213
                    "inputs": "",
214
                    "original_actions": "",
215
                    "outputs": "",
216
                    "variables": ""
217
                },
218
                "OnAfter": {
219
                    "actions": "",
220
                    "external_fun": "",
221
                    "inputs": "",
222
                    "original_actions": "",
223
                    "outputs": "",
224
                    "variables": ""
225
                },
226
                "OnAt": {
227
                    "actions": "",
228
                    "external_fun": "",
229
                    "inputs": "",
230
                    "original_actions": "",
231
                    "outputs": "",
232
                    "variables": ""
233
                },
234
                "OnBefore": {
235
                    "actions": "",
236
                    "external_fun": "",
237
                    "inputs": "",
238
                    "original_actions": "",
239
                    "outputs": "",
240
                    "variables": ""
241
                },
242
                "OnEvery": {
243
                    "actions": "",
244
                    "external_fun": "",
245
                    "inputs": "",
246
                    "original_actions": "",
247
                    "outputs": "",
248
                    "variables": ""
249
                }
250
            },
251
            "Composition": {
252
                "DefaultTransitions": {
253
                    "Condition": {
254
                        "actions": "",
255
                        "external_fun": "",
256
                        "inputs": "",
257
                        "original_actions": "",
258
                        "outputs": "",
259
                        "variables": ""
260
                    },
261
                    "ConditionAction": {
262
                        "actions": "",
263
                        "external_fun": "",
264
                        "inputs": "",
265
                        "original_actions": "",
266
                        "outputs": "",
267
                        "variables": ""
268
                    },
269
                    "Destination": {
270
                        "Id": 1911,
271
                        "Name": "Parallel2V2_Parallel2/A/A1",
272
                        "Type": "State"
273
                    },
274
                    "Event": "",
275
                    "Id": 1938,
276
                    "TransitionAction": {
277
                        "actions": "",
278
                        "external_fun": "",
279
                        "inputs": "",
280
                        "original_actions": "",
281
                        "outputs": "",
282
                        "variables": ""
283
                    }
284
                },
285
                "States": [
286
                    1914,
287
                    1911
288
                ],
289
                "Substates": [
290
                    "A2",
291
                    "A1"
292
                ],
293
                "Type": "EXCLUSIVE_OR"
294
            },
295
            "Id": 1910,
296
            "InnerTransitions": [],
297
            "Name": "A",
298
            "OuterTransitions": [],
299
            "Path": "Parallel2V2_Parallel2/A"
300
        },
301
        {
302
            "Actions": {
303
                "Bind": {
304
                    "actions": "",
305
                    "external_fun": "",
306
                    "inputs": "",
307
                    "original_actions": "",
308
                    "outputs": "",
309
                    "variables": ""
310
                },
311
                "During": {
312
                    "actions": "",
313
                    "external_fun": "",
314
                    "inputs": "",
315
                    "original_actions": "",
316
                    "outputs": "",
317
                    "variables": ""
318
                },
319
                "Entry": {
320
                    "actions": "",
321
                    "external_fun": "",
322
                    "inputs": "",
323
                    "original_actions": "",
324
                    "outputs": "",
325
                    "variables": ""
326
                },
327
                "Exit": {
328
                    "actions": "",
329
                    "external_fun": "",
330
                    "inputs": "",
331
                    "original_actions": "",
332
                    "outputs": "",
333
                    "variables": ""
334
                },
335
                "On": {
336
                    "actions": "",
337
                    "external_fun": "",
338
                    "inputs": "",
339
                    "original_actions": "",
340
                    "outputs": "",
341
                    "variables": ""
342
                },
343
                "OnAfter": {
344
                    "actions": "",
345
                    "external_fun": "",
346
                    "inputs": "",
347
                    "original_actions": "",
348
                    "outputs": "",
349
                    "variables": ""
350
                },
351
                "OnAt": {
352
                    "actions": "",
353
                    "external_fun": "",
354
                    "inputs": "",
355
                    "original_actions": "",
356
                    "outputs": "",
357
                    "variables": ""
358
                },
359
                "OnBefore": {
360
                    "actions": "",
361
                    "external_fun": "",
362
                    "inputs": "",
363
                    "original_actions": "",
364
                    "outputs": "",
365
                    "variables": ""
366
                },
367
                "OnEvery": {
368
                    "actions": "",
369
                    "external_fun": "",
370
                    "inputs": "",
371
                    "original_actions": "",
372
                    "outputs": "",
373
                    "variables": ""
374
                }
375
            },
376
            "Composition": {
377
                "DefaultTransitions": {
378
                    "Condition": {
379
                        "actions": "",
380
                        "external_fun": "",
381
                        "inputs": "",
382
                        "original_actions": "",
383
                        "outputs": "",
384
                        "variables": ""
385
                    },
386
                    "ConditionAction": {
387
                        "actions": "",
388
                        "external_fun": "",
389
                        "inputs": "",
390
                        "original_actions": "",
391
                        "outputs": "",
392
                        "variables": ""
393
                    },
394
                    "Destination": {
395
                        "Id": 1921,
396
                        "Name": "Parallel2V2_Parallel2/B/B1",
397
                        "Type": "State"
398
                    },
399
                    "Event": "",
400
                    "Id": 1947,
401
                    "TransitionAction": {
402
                        "actions": "",
403
                        "external_fun": "",
404
                        "inputs": "",
405
                        "original_actions": "",
406
                        "outputs": "",
407
                        "variables": ""
408
                    }
409
                },
410
                "States": [
411
                    1918,
412
                    1921
413
                ],
414
                "Substates": [
415
                    "B2",
416
                    "B1"
417
                ],
418
                "Type": "EXCLUSIVE_OR"
419
            },
420
            "Id": 1917,
421
            "InnerTransitions": [],
422
            "Name": "B",
423
            "OuterTransitions": [],
424
            "Path": "Parallel2V2_Parallel2/B"
425
        },
426
        {
427
            "Actions": {
428
                "Bind": {
429
                    "actions": "",
430
                    "external_fun": "",
431
                    "inputs": "",
432
                    "original_actions": "",
433
                    "outputs": "",
434
                    "variables": ""
435
                },
436
                "During": {
437
                    "actions": "",
438
                    "external_fun": "",
439
                    "inputs": "",
440
                    "original_actions": "",
441
                    "outputs": "",
442
                    "variables": ""
443
                },
444
                "Entry": {
445
                    "actions": "",
446
                    "external_fun": "",
447
                    "inputs": "",
448
                    "original_actions": "",
449
                    "outputs": "",
450
                    "variables": ""
451
                },
452
                "Exit": {
453
                    "actions": "",
454
                    "external_fun": "",
455
                    "inputs": "",
456
                    "original_actions": "",
457
                    "outputs": "",
458
                    "variables": ""
459
                },
460
                "On": {
461
                    "actions": "",
462
                    "external_fun": "",
463
                    "inputs": "",
464
                    "original_actions": "",
465
                    "outputs": "",
466
                    "variables": ""
467
                },
468
                "OnAfter": {
469
                    "actions": "",
470
                    "external_fun": "",
471
                    "inputs": "",
472
                    "original_actions": "",
473
                    "outputs": "",
474
                    "variables": ""
475
                },
476
                "OnAt": {
477
                    "actions": "",
478
                    "external_fun": "",
479
                    "inputs": "",
480
                    "original_actions": "",
481
                    "outputs": "",
482
                    "variables": ""
483
                },
484
                "OnBefore": {
485
                    "actions": "",
486
                    "external_fun": "",
487
                    "inputs": "",
488
                    "original_actions": "",
489
                    "outputs": "",
490
                    "variables": ""
491
                },
492
                "OnEvery": {
493
                    "actions": "",
494
                    "external_fun": "",
495
                    "inputs": "",
496
                    "original_actions": "",
497
                    "outputs": "",
498
                    "variables": ""
499
                }
500
            },
501
            "Composition": {
502
                "DefaultTransitions": {
503
                    "Condition": {
504
                        "actions": "",
505
                        "external_fun": "",
506
                        "inputs": "",
507
                        "original_actions": "",
508
                        "outputs": "",
509
                        "variables": ""
510
                    },
511
                    "ConditionAction": {
512
                        "actions": "",
513
                        "external_fun": "",
514
                        "inputs": "",
515
                        "original_actions": "",
516
                        "outputs": "",
517
                        "variables": ""
518
                    },
519
                    "Destination": {
520
                        "Id": 1935,
521
                        "Name": "Parallel2V2_Parallel2/D/D1",
522
                        "Type": "State"
523
                    },
524
                    "Event": "",
525
                    "Id": 1962,
526
                    "TransitionAction": {
527
                        "actions": "",
528
                        "external_fun": "",
529
                        "inputs": "",
530
                        "original_actions": "",
531
                        "outputs": "",
532
                        "variables": ""
533
                    }
534
                },
535
                "States": [
536
                    1932,
537
                    1935
538
                ],
539
                "Substates": [
540
                    "D2",
541
                    "D1"
542
                ],
543
                "Type": "EXCLUSIVE_OR"
544
            },
545
            "Id": 1931,
546
            "InnerTransitions": [],
547
            "Name": "D",
548
            "OuterTransitions": [],
549
            "Path": "Parallel2V2_Parallel2/D"
550
        },
551
        {
552
            "Actions": {
553
                "Bind": {
554
                    "actions": "",
555
                    "external_fun": "",
556
                    "inputs": "",
557
                    "original_actions": "",
558
                    "outputs": "",
559
                    "variables": ""
560
                },
561
                "During": {
562
                    "actions": "",
563
                    "external_fun": "",
564
                    "inputs": "",
565
                    "original_actions": "",
566
                    "outputs": "",
567
                    "variables": ""
568
                },
569
                "Entry": {
570
                    "actions": "",
571
                    "external_fun": "",
572
                    "inputs": "",
573
                    "original_actions": "",
574
                    "outputs": "",
575
                    "variables": ""
576
                },
577
                "Exit": {
578
                    "actions": "",
579
                    "external_fun": "",
580
                    "inputs": "",
581
                    "original_actions": "",
582
                    "outputs": "",
583
                    "variables": ""
584
                },
585
                "On": {
586
                    "actions": "",
587
                    "external_fun": "",
588
                    "inputs": "",
589
                    "original_actions": "",
590
                    "outputs": "",
591
                    "variables": ""
592
                },
593
                "OnAfter": {
594
                    "actions": "",
595
                    "external_fun": "",
596
                    "inputs": "",
597
                    "original_actions": "",
598
                    "outputs": "",
599
                    "variables": ""
600
                },
601
                "OnAt": {
602
                    "actions": "",
603
                    "external_fun": "",
604
                    "inputs": "",
605
                    "original_actions": "",
606
                    "outputs": "",
607
                    "variables": ""
608
                },
609
                "OnBefore": {
610
                    "actions": "",
611
                    "external_fun": "",
612
                    "inputs": "",
613
                    "original_actions": "",
614
                    "outputs": "",
615
                    "variables": ""
616
                },
617
                "OnEvery": {
618
                    "actions": "",
619
                    "external_fun": "",
620
                    "inputs": "",
621
                    "original_actions": "",
622
                    "outputs": "",
623
                    "variables": ""
624
                }
625
            },
626
            "Composition": {
627
                "DefaultTransitions": {
628
                    "Condition": {
629
                        "actions": "",
630
                        "external_fun": "",
631
                        "inputs": "",
632
                        "original_actions": "",
633
                        "outputs": "",
634
                        "variables": ""
635
                    },
636
                    "ConditionAction": {
637
                        "actions": "",
638
                        "external_fun": "",
639
                        "inputs": "",
640
                        "original_actions": "",
641
                        "outputs": "",
642
                        "variables": ""
643
                    },
644
                    "Destination": {
645
                        "Id": 1928,
646
                        "Name": "Parallel2V2_Parallel2/C/C1",
647
                        "Type": "State"
648
                    },
649
                    "Event": "",
650
                    "Id": 1971,
651
                    "TransitionAction": {
652
                        "actions": "",
653
                        "external_fun": "",
654
                        "inputs": "",
655
                        "original_actions": "",
656
                        "outputs": "",
657
                        "variables": ""
658
                    }
659
                },
660
                "States": [
661
                    1925,
662
                    1928
663
                ],
664
                "Substates": [
665
                    "C2",
666
                    "C1"
667
                ],
668
                "Type": "EXCLUSIVE_OR"
669
            },
670
            "Id": 1937,
671
            "InnerTransitions": [],
672
            "Name": "C",
673
            "OuterTransitions": [],
674
            "Path": "Parallel2V2_Parallel2/C"
675
        },
676
        {
677
            "Actions": {
678
                "Bind": {
679
                    "actions": "",
680
                    "external_fun": "",
681
                    "inputs": "",
682
                    "original_actions": "",
683
                    "outputs": "",
684
                    "variables": ""
685
                },
686
                "During": {
687
                    "actions": "",
688
                    "external_fun": "",
689
                    "inputs": "",
690
                    "original_actions": "",
691
                    "outputs": "",
692
                    "variables": ""
693
                },
694
                "Entry": {
695
                    "actions": "",
696
                    "external_fun": "",
697
                    "inputs": "",
698
                    "original_actions": "",
699
                    "outputs": "",
700
                    "variables": ""
701
                },
702
                "Exit": {
703
                    "actions": "",
704
                    "external_fun": "",
705
                    "inputs": "",
706
                    "original_actions": "",
707
                    "outputs": "",
708
                    "variables": ""
709
                },
710
                "On": {
711
                    "actions": "",
712
                    "external_fun": "",
713
                    "inputs": "",
714
                    "original_actions": "",
715
                    "outputs": "",
716
                    "variables": ""
717
                },
718
                "OnAfter": {
719
                    "actions": "",
720
                    "external_fun": "",
721
                    "inputs": "",
722
                    "original_actions": "",
723
                    "outputs": "",
724
                    "variables": ""
725
                },
726
                "OnAt": {
727
                    "actions": "",
728
                    "external_fun": "",
729
                    "inputs": "",
730
                    "original_actions": "",
731
                    "outputs": "",
732
                    "variables": ""
733
                },
734
                "OnBefore": {
735
                    "actions": "",
736
                    "external_fun": "",
737
                    "inputs": "",
738
                    "original_actions": "",
739
                    "outputs": "",
740
                    "variables": ""
741
                },
742
                "OnEvery": {
743
                    "actions": "",
744
                    "external_fun": "",
745
                    "inputs": "",
746
                    "original_actions": "",
747
                    "outputs": "",
748
                    "variables": ""
749
                }
750
            },
751
            "Composition": {
752
                "DefaultTransitions": {
753
                    "Condition": {
754
                        "actions": "",
755
                        "external_fun": "",
756
                        "inputs": "",
757
                        "original_actions": "",
758
                        "outputs": "",
759
                        "variables": ""
760
                    },
761
                    "ConditionAction": {
762
                        "actions": "",
763
                        "external_fun": "",
764
                        "inputs": "",
765
                        "original_actions": "",
766
                        "outputs": "",
767
                        "variables": ""
768
                    },
769
                    "Destination": {
770
                        "Id": 1915,
771
                        "Name": "Parallel2V2_Parallel2/A/A2/A2a",
772
                        "Type": "State"
773
                    },
774
                    "Event": "",
775
                    "Id": 1944,
776
                    "TransitionAction": {
777
                        "actions": "",
778
                        "external_fun": "",
779
                        "inputs": "",
780
                        "original_actions": "",
781
                        "outputs": "",
782
                        "variables": ""
783
                    }
784
                },
785
                "States": [
786
                    1915,
787
                    1916
788
                ],
789
                "Substates": [
790
                    "A2a",
791
                    "A2b"
792
                ],
793
                "Type": "EXCLUSIVE_OR"
794
            },
795
            "Id": 1914,
796
            "InnerTransitions": [],
797
            "Name": "A2",
798
            "OuterTransitions": {
799
                "Condition": {
800
                    "actions": "",
801
                    "external_fun": "",
802
                    "inputs": "",
803
                    "original_actions": "",
804
                    "outputs": "",
805
                    "variables": ""
806
                },
807
                "ConditionAction": {
808
                    "actions": "",
809
                    "external_fun": "",
810
                    "inputs": "",
811
                    "original_actions": "",
812
                    "outputs": "",
813
                    "variables": ""
814
                },
815
                "Destination": {
816
                    "Id": 1911,
817
                    "Name": "Parallel2V2_Parallel2/A/A1",
818
                    "Type": "State"
819
                },
820
                "Event": "T",
821
                "Id": 1940,
822
                "TransitionAction": {
823
                    "actions": "",
824
                    "external_fun": "",
825
                    "inputs": "",
826
                    "original_actions": "",
827
                    "outputs": "",
828
                    "variables": ""
829
                }
830
            },
831
            "Path": "Parallel2V2_Parallel2/A/A2"
832
        },
833
        {
834
            "Actions": {
835
                "Bind": {
836
                    "actions": "",
837
                    "external_fun": "",
838
                    "inputs": "",
839
                    "original_actions": "",
840
                    "outputs": "",
841
                    "variables": ""
842
                },
843
                "During": {
844
                    "actions": "",
845
                    "external_fun": "",
846
                    "inputs": "",
847
                    "original_actions": "",
848
                    "outputs": "",
849
                    "variables": ""
850
                },
851
                "Entry": {
852
                    "actions": "",
853
                    "external_fun": "",
854
                    "inputs": "",
855
                    "original_actions": "",
856
                    "outputs": "",
857
                    "variables": ""
858
                },
859
                "Exit": {
860
                    "actions": "",
861
                    "external_fun": "",
862
                    "inputs": "",
863
                    "original_actions": "",
864
                    "outputs": "",
865
                    "variables": ""
866
                },
867
                "On": {
868
                    "actions": "",
869
                    "external_fun": "",
870
                    "inputs": "",
871
                    "original_actions": "",
872
                    "outputs": "",
873
                    "variables": ""
874
                },
875
                "OnAfter": {
876
                    "actions": "",
877
                    "external_fun": "",
878
                    "inputs": "",
879
                    "original_actions": "",
880
                    "outputs": "",
881
                    "variables": ""
882
                },
883
                "OnAt": {
884
                    "actions": "",
885
                    "external_fun": "",
886
                    "inputs": "",
887
                    "original_actions": "",
888
                    "outputs": "",
889
                    "variables": ""
890
                },
891
                "OnBefore": {
892
                    "actions": "",
893
                    "external_fun": "",
894
                    "inputs": "",
895
                    "original_actions": "",
896
                    "outputs": "",
897
                    "variables": ""
898
                },
899
                "OnEvery": {
900
                    "actions": "",
901
                    "external_fun": "",
902
                    "inputs": "",
903
                    "original_actions": "",
904
                    "outputs": "",
905
                    "variables": ""
906
                }
907
            },
908
            "Composition": {
909
                "DefaultTransitions": {
910
                    "Condition": {
911
                        "actions": "",
912
                        "external_fun": "",
913
                        "inputs": "",
914
                        "original_actions": "",
915
                        "outputs": "",
916
                        "variables": ""
917
                    },
918
                    "ConditionAction": {
919
                        "actions": "",
920
                        "external_fun": "",
921
                        "inputs": "",
922
                        "original_actions": "",
923
                        "outputs": "",
924
                        "variables": ""
925
                    },
926
                    "Destination": {
927
                        "Id": 1912,
928
                        "Name": "Parallel2V2_Parallel2/A/A1/A1a",
929
                        "Type": "State"
930
                    },
931
                    "Event": "",
932
                    "Id": 1941,
933
                    "TransitionAction": {
934
                        "actions": "",
935
                        "external_fun": "",
936
                        "inputs": "",
937
                        "original_actions": "",
938
                        "outputs": "",
939
                        "variables": ""
940
                    }
941
                },
942
                "States": [
943
                    1912,
944
                    1913
945
                ],
946
                "Substates": [
947
                    "A1a",
948
                    "A1b"
949
                ],
950
                "Type": "EXCLUSIVE_OR"
951
            },
952
            "Id": 1911,
953
            "InnerTransitions": [],
954
            "Name": "A1",
955
            "OuterTransitions": {
956
                "Condition": {
957
                    "actions": "",
958
                    "external_fun": "",
959
                    "inputs": "",
960
                    "original_actions": "",
961
                    "outputs": "",
962
                    "variables": ""
963
                },
964
                "ConditionAction": {
965
                    "actions": "",
966
                    "external_fun": "",
967
                    "inputs": "",
968
                    "original_actions": "",
969
                    "outputs": "",
970
                    "variables": ""
971
                },
972
                "Destination": {
973
                    "Id": 1914,
974
                    "Name": "Parallel2V2_Parallel2/A/A2",
975
                    "Type": "State"
976
                },
977
                "Event": "T",
978
                "Id": 1939,
979
                "TransitionAction": {
980
                    "actions": "",
981
                    "external_fun": "",
982
                    "inputs": "",
983
                    "original_actions": "",
984
                    "outputs": "",
985
                    "variables": ""
986
                }
987
            },
988
            "Path": "Parallel2V2_Parallel2/A/A1"
989
        },
990
        {
991
            "Actions": {
992
                "Bind": {
993
                    "actions": "",
994
                    "external_fun": "",
995
                    "inputs": "",
996
                    "original_actions": "",
997
                    "outputs": "",
998
                    "variables": ""
999
                },
1000
                "During": {
1001
                    "actions": "",
1002
                    "external_fun": "",
1003
                    "inputs": "",
1004
                    "original_actions": "",
1005
                    "outputs": "",
1006
                    "variables": ""
1007
                },
1008
                "Entry": {
1009
                    "actions": "",
1010
                    "external_fun": "",
1011
                    "inputs": "",
1012
                    "original_actions": "",
1013
                    "outputs": "",
1014
                    "variables": ""
1015
                },
1016
                "Exit": {
1017
                    "actions": "",
1018
                    "external_fun": "",
1019
                    "inputs": "",
1020
                    "original_actions": "",
1021
                    "outputs": "",
1022
                    "variables": ""
1023
                },
1024
                "On": {
1025
                    "actions": "",
1026
                    "external_fun": "",
1027
                    "inputs": "",
1028
                    "original_actions": "",
1029
                    "outputs": "",
1030
                    "variables": ""
1031
                },
1032
                "OnAfter": {
1033
                    "actions": "",
1034
                    "external_fun": "",
1035
                    "inputs": "",
1036
                    "original_actions": "",
1037
                    "outputs": "",
1038
                    "variables": ""
1039
                },
1040
                "OnAt": {
1041
                    "actions": "",
1042
                    "external_fun": "",
1043
                    "inputs": "",
1044
                    "original_actions": "",
1045
                    "outputs": "",
1046
                    "variables": ""
1047
                },
1048
                "OnBefore": {
1049
                    "actions": "",
1050
                    "external_fun": "",
1051
                    "inputs": "",
1052
                    "original_actions": "",
1053
                    "outputs": "",
1054
                    "variables": ""
1055
                },
1056
                "OnEvery": {
1057
                    "actions": "",
1058
                    "external_fun": "",
1059
                    "inputs": "",
1060
                    "original_actions": "",
1061
                    "outputs": "",
1062
                    "variables": ""
1063
                }
1064
            },
1065
            "Composition": {
1066
                "DefaultTransitions": {
1067
                    "Condition": {
1068
                        "actions": "",
1069
                        "external_fun": "",
1070
                        "inputs": "",
1071
                        "original_actions": "",
1072
                        "outputs": "",
1073
                        "variables": ""
1074
                    },
1075
                    "ConditionAction": {
1076
                        "actions": "",
1077
                        "external_fun": "",
1078
                        "inputs": "",
1079
                        "original_actions": "",
1080
                        "outputs": "",
1081
                        "variables": ""
1082
                    },
1083
                    "Destination": {
1084
                        "Id": 1919,
1085
                        "Name": "Parallel2V2_Parallel2/B/B2/B2a",
1086
                        "Type": "State"
1087
                    },
1088
                    "Event": "",
1089
                    "Id": 1950,
1090
                    "TransitionAction": {
1091
                        "actions": "",
1092
                        "external_fun": "",
1093
                        "inputs": "",
1094
                        "original_actions": "",
1095
                        "outputs": "",
1096
                        "variables": ""
1097
                    }
1098
                },
1099
                "States": [
1100
                    1919,
1101
                    1920
1102
                ],
1103
                "Substates": [
1104
                    "B2a",
1105
                    "B2b"
1106
                ],
1107
                "Type": "EXCLUSIVE_OR"
1108
            },
1109
            "Id": 1918,
1110
            "InnerTransitions": [],
1111
            "Name": "B2",
1112
            "OuterTransitions": {
1113
                "Condition": {
1114
                    "actions": "",
1115
                    "external_fun": "",
1116
                    "inputs": "",
1117
                    "original_actions": "",
1118
                    "outputs": "",
1119
                    "variables": ""
1120
                },
1121
                "ConditionAction": {
1122
                    "actions": "",
1123
                    "external_fun": "",
1124
                    "inputs": "",
1125
                    "original_actions": "",
1126
                    "outputs": "",
1127
                    "variables": ""
1128
                },
1129
                "Destination": {
1130
                    "Id": 1921,
1131
                    "Name": "Parallel2V2_Parallel2/B/B1",
1132
                    "Type": "State"
1133
                },
1134
                "Event": "T",
1135
                "Id": 1949,
1136
                "TransitionAction": {
1137
                    "actions": "",
1138
                    "external_fun": "",
1139
                    "inputs": "",
1140
                    "original_actions": "",
1141
                    "outputs": "",
1142
                    "variables": ""
1143
                }
1144
            },
1145
            "Path": "Parallel2V2_Parallel2/B/B2"
1146
        },
1147
        {
1148
            "Actions": {
1149
                "Bind": {
1150
                    "actions": "",
1151
                    "external_fun": "",
1152
                    "inputs": "",
1153
                    "original_actions": "",
1154
                    "outputs": "",
1155
                    "variables": ""
1156
                },
1157
                "During": {
1158
                    "actions": "",
1159
                    "external_fun": "",
1160
                    "inputs": "",
1161
                    "original_actions": "",
1162
                    "outputs": "",
1163
                    "variables": ""
1164
                },
1165
                "Entry": {
1166
                    "actions": "",
1167
                    "external_fun": "",
1168
                    "inputs": "",
1169
                    "original_actions": "",
1170
                    "outputs": "",
1171
                    "variables": ""
1172
                },
1173
                "Exit": {
1174
                    "actions": "",
1175
                    "external_fun": "",
1176
                    "inputs": "",
1177
                    "original_actions": "",
1178
                    "outputs": "",
1179
                    "variables": ""
1180
                },
1181
                "On": {
1182
                    "actions": "",
1183
                    "external_fun": "",
1184
                    "inputs": "",
1185
                    "original_actions": "",
1186
                    "outputs": "",
1187
                    "variables": ""
1188
                },
1189
                "OnAfter": {
1190
                    "actions": "",
1191
                    "external_fun": "",
1192
                    "inputs": "",
1193
                    "original_actions": "",
1194
                    "outputs": "",
1195
                    "variables": ""
1196
                },
1197
                "OnAt": {
1198
                    "actions": "",
1199
                    "external_fun": "",
1200
                    "inputs": "",
1201
                    "original_actions": "",
1202
                    "outputs": "",
1203
                    "variables": ""
1204
                },
1205
                "OnBefore": {
1206
                    "actions": "",
1207
                    "external_fun": "",
1208
                    "inputs": "",
1209
                    "original_actions": "",
1210
                    "outputs": "",
1211
                    "variables": ""
1212
                },
1213
                "OnEvery": {
1214
                    "actions": "",
1215
                    "external_fun": "",
1216
                    "inputs": "",
1217
                    "original_actions": "",
1218
                    "outputs": "",
1219
                    "variables": ""
1220
                }
1221
            },
1222
            "Composition": {
1223
                "DefaultTransitions": {
1224
                    "Condition": {
1225
                        "actions": "",
1226
                        "external_fun": "",
1227
                        "inputs": "",
1228
                        "original_actions": "",
1229
                        "outputs": "",
1230
                        "variables": ""
1231
                    },
1232
                    "ConditionAction": {
1233
                        "actions": "",
1234
                        "external_fun": "",
1235
                        "inputs": "",
1236
                        "original_actions": "",
1237
                        "outputs": "",
1238
                        "variables": ""
1239
                    },
1240
                    "Destination": {
1241
                        "Id": 1922,
1242
                        "Name": "Parallel2V2_Parallel2/B/B1/B1a",
1243
                        "Type": "State"
1244
                    },
1245
                    "Event": "",
1246
                    "Id": 1953,
1247
                    "TransitionAction": {
1248
                        "actions": "",
1249
                        "external_fun": "",
1250
                        "inputs": "",
1251
                        "original_actions": "",
1252
                        "outputs": "",
1253
                        "variables": ""
1254
                    }
1255
                },
1256
                "States": [
1257
                    1922,
1258
                    1923
1259
                ],
1260
                "Substates": [
1261
                    "B1a",
1262
                    "B1b"
1263
                ],
1264
                "Type": "EXCLUSIVE_OR"
1265
            },
1266
            "Id": 1921,
1267
            "InnerTransitions": [],
1268
            "Name": "B1",
1269
            "OuterTransitions": {
1270
                "Condition": {
1271
                    "actions": "",
1272
                    "external_fun": "",
1273
                    "inputs": "",
1274
                    "original_actions": "",
1275
                    "outputs": "",
1276
                    "variables": ""
1277
                },
1278
                "ConditionAction": {
1279
                    "actions": "",
1280
                    "external_fun": "",
1281
                    "inputs": "",
1282
                    "original_actions": "",
1283
                    "outputs": "",
1284
                    "variables": ""
1285
                },
1286
                "Destination": {
1287
                    "Id": 1918,
1288
                    "Name": "Parallel2V2_Parallel2/B/B2",
1289
                    "Type": "State"
1290
                },
1291
                "Event": "T",
1292
                "Id": 1948,
1293
                "TransitionAction": {
1294
                    "actions": "",
1295
                    "external_fun": "",
1296
                    "inputs": "",
1297
                    "original_actions": "",
1298
                    "outputs": "",
1299
                    "variables": ""
1300
                }
1301
            },
1302
            "Path": "Parallel2V2_Parallel2/B/B1"
1303
        },
1304
        {
1305
            "Actions": {
1306
                "Bind": {
1307
                    "actions": "",
1308
                    "external_fun": "",
1309
                    "inputs": "",
1310
                    "original_actions": "",
1311
                    "outputs": "",
1312
                    "variables": ""
1313
                },
1314
                "During": {
1315
                    "actions": "",
1316
                    "external_fun": "",
1317
                    "inputs": "",
1318
                    "original_actions": "",
1319
                    "outputs": "",
1320
                    "variables": ""
1321
                },
1322
                "Entry": {
1323
                    "actions": "",
1324
                    "external_fun": "",
1325
                    "inputs": "",
1326
                    "original_actions": "",
1327
                    "outputs": "",
1328
                    "variables": ""
1329
                },
1330
                "Exit": {
1331
                    "actions": "",
1332
                    "external_fun": "",
1333
                    "inputs": "",
1334
                    "original_actions": "",
1335
                    "outputs": "",
1336
                    "variables": ""
1337
                },
1338
                "On": {
1339
                    "actions": "",
1340
                    "external_fun": "",
1341
                    "inputs": "",
1342
                    "original_actions": "",
1343
                    "outputs": "",
1344
                    "variables": ""
1345
                },
1346
                "OnAfter": {
1347
                    "actions": "",
1348
                    "external_fun": "",
1349
                    "inputs": "",
1350
                    "original_actions": "",
1351
                    "outputs": "",
1352
                    "variables": ""
1353
                },
1354
                "OnAt": {
1355
                    "actions": "",
1356
                    "external_fun": "",
1357
                    "inputs": "",
1358
                    "original_actions": "",
1359
                    "outputs": "",
1360
                    "variables": ""
1361
                },
1362
                "OnBefore": {
1363
                    "actions": "",
1364
                    "external_fun": "",
1365
                    "inputs": "",
1366
                    "original_actions": "",
1367
                    "outputs": "",
1368
                    "variables": ""
1369
                },
1370
                "OnEvery": {
1371
                    "actions": "",
1372
                    "external_fun": "",
1373
                    "inputs": "",
1374
                    "original_actions": "",
1375
                    "outputs": "",
1376
                    "variables": ""
1377
                }
1378
            },
1379
            "Composition": {
1380
                "DefaultTransitions": {
1381
                    "Condition": {
1382
                        "actions": "",
1383
                        "external_fun": "",
1384
                        "inputs": "",
1385
                        "original_actions": "",
1386
                        "outputs": "",
1387
                        "variables": ""
1388
                    },
1389
                    "ConditionAction": {
1390
                        "actions": "",
1391
                        "external_fun": "",
1392
                        "inputs": "",
1393
                        "original_actions": "",
1394
                        "outputs": "",
1395
                        "variables": ""
1396
                    },
1397
                    "Destination": {
1398
                        "Id": 1933,
1399
                        "Name": "Parallel2V2_Parallel2/D/D2/D2a",
1400
                        "Type": "State"
1401
                    },
1402
                    "Event": "",
1403
                    "Id": 1965,
1404
                    "TransitionAction": {
1405
                        "actions": "",
1406
                        "external_fun": "",
1407
                        "inputs": "",
1408
                        "original_actions": "",
1409
                        "outputs": "",
1410
                        "variables": ""
1411
                    }
1412
                },
1413
                "States": [
1414
                    1933,
1415
                    1934
1416
                ],
1417
                "Substates": [
1418
                    "D2a",
1419
                    "D2b"
1420
                ],
1421
                "Type": "EXCLUSIVE_OR"
1422
            },
1423
            "Id": 1932,
1424
            "InnerTransitions": [],
1425
            "Name": "D2",
1426
            "OuterTransitions": {
1427
                "Condition": {
1428
                    "actions": "",
1429
                    "external_fun": "",
1430
                    "inputs": "",
1431
                    "original_actions": "",
1432
                    "outputs": "",
1433
                    "variables": ""
1434
                },
1435
                "ConditionAction": {
1436
                    "actions": "",
1437
                    "external_fun": "",
1438
                    "inputs": "",
1439
                    "original_actions": "",
1440
                    "outputs": "",
1441
                    "variables": ""
1442
                },
1443
                "Destination": {
1444
                    "Id": 1935,
1445
                    "Name": "Parallel2V2_Parallel2/D/D1",
1446
                    "Type": "State"
1447
                },
1448
                "Event": "T",
1449
                "Id": 1964,
1450
                "TransitionAction": {
1451
                    "actions": "",
1452
                    "external_fun": "",
1453
                    "inputs": "",
1454
                    "original_actions": "",
1455
                    "outputs": "",
1456
                    "variables": ""
1457
                }
1458
            },
1459
            "Path": "Parallel2V2_Parallel2/D/D2"
1460
        },
1461
        {
1462
            "Actions": {
1463
                "Bind": {
1464
                    "actions": "",
1465
                    "external_fun": "",
1466
                    "inputs": "",
1467
                    "original_actions": "",
1468
                    "outputs": "",
1469
                    "variables": ""
1470
                },
1471
                "During": {
1472
                    "actions": "",
1473
                    "external_fun": "",
1474
                    "inputs": "",
1475
                    "original_actions": "",
1476
                    "outputs": "",
1477
                    "variables": ""
1478
                },
1479
                "Entry": {
1480
                    "actions": "",
1481
                    "external_fun": "",
1482
                    "inputs": "",
1483
                    "original_actions": "",
1484
                    "outputs": "",
1485
                    "variables": ""
1486
                },
1487
                "Exit": {
1488
                    "actions": "",
1489
                    "external_fun": "",
1490
                    "inputs": "",
1491
                    "original_actions": "",
1492
                    "outputs": "",
1493
                    "variables": ""
1494
                },
1495
                "On": {
1496
                    "actions": "",
1497
                    "external_fun": "",
1498
                    "inputs": "",
1499
                    "original_actions": "",
1500
                    "outputs": "",
1501
                    "variables": ""
1502
                },
1503
                "OnAfter": {
1504
                    "actions": "",
1505
                    "external_fun": "",
1506
                    "inputs": "",
1507
                    "original_actions": "",
1508
                    "outputs": "",
1509
                    "variables": ""
1510
                },
1511
                "OnAt": {
1512
                    "actions": "",
1513
                    "external_fun": "",
1514
                    "inputs": "",
1515
                    "original_actions": "",
1516
                    "outputs": "",
1517
                    "variables": ""
1518
                },
1519
                "OnBefore": {
1520
                    "actions": "",
1521
                    "external_fun": "",
1522
                    "inputs": "",
1523
                    "original_actions": "",
1524
                    "outputs": "",
1525
                    "variables": ""
1526
                },
1527
                "OnEvery": {
1528
                    "actions": "",
1529
                    "external_fun": "",
1530
                    "inputs": "",
1531
                    "original_actions": "",
1532
                    "outputs": "",
1533
                    "variables": ""
1534
                }
1535
            },
1536
            "Composition": {
1537
                "DefaultTransitions": {
1538
                    "Condition": {
1539
                        "actions": "",
1540
                        "external_fun": "",
1541
                        "inputs": "",
1542
                        "original_actions": "",
1543
                        "outputs": "",
1544
                        "variables": ""
1545
                    },
1546
                    "ConditionAction": {
1547
                        "actions": "",
1548
                        "external_fun": "",
1549
                        "inputs": "",
1550
                        "original_actions": "",
1551
                        "outputs": "",
1552
                        "variables": ""
1553
                    },
1554
                    "Destination": {
1555
                        "Id": 1936,
1556
                        "Name": "Parallel2V2_Parallel2/D/D1/D1a",
1557
                        "Type": "State"
1558
                    },
1559
                    "Event": "",
1560
                    "Id": 1968,
1561
                    "TransitionAction": {
1562
                        "actions": "",
1563
                        "external_fun": "",
1564
                        "inputs": "",
1565
                        "original_actions": "",
1566
                        "outputs": "",
1567
                        "variables": ""
1568
                    }
1569
                },
1570
                "States": [
1571
                    1936,
1572
                    1924
1573
                ],
1574
                "Substates": [
1575
                    "D1a",
1576
                    "D1b"
1577
                ],
1578
                "Type": "EXCLUSIVE_OR"
1579
            },
1580
            "Id": 1935,
1581
            "InnerTransitions": [],
1582
            "Name": "D1",
1583
            "OuterTransitions": {
1584
                "Condition": {
1585
                    "actions": "",
1586
                    "external_fun": "",
1587
                    "inputs": "",
1588
                    "original_actions": "",
1589
                    "outputs": "",
1590
                    "variables": ""
1591
                },
1592
                "ConditionAction": {
1593
                    "actions": "",
1594
                    "external_fun": "",
1595
                    "inputs": "",
1596
                    "original_actions": "",
1597
                    "outputs": "",
1598
                    "variables": ""
1599
                },
1600
                "Destination": {
1601
                    "Id": 1932,
1602
                    "Name": "Parallel2V2_Parallel2/D/D2",
1603
                    "Type": "State"
1604
                },
1605
                "Event": "T",
1606
                "Id": 1963,
1607
                "TransitionAction": {
1608
                    "actions": "",
1609
                    "external_fun": "",
1610
                    "inputs": "",
1611
                    "original_actions": "",
1612
                    "outputs": "",
1613
                    "variables": ""
1614
                }
1615
            },
1616
            "Path": "Parallel2V2_Parallel2/D/D1"
1617
        },
1618
        {
1619
            "Actions": {
1620
                "Bind": {
1621
                    "actions": "",
1622
                    "external_fun": "",
1623
                    "inputs": "",
1624
                    "original_actions": "",
1625
                    "outputs": "",
1626
                    "variables": ""
1627
                },
1628
                "During": {
1629
                    "actions": "",
1630
                    "external_fun": "",
1631
                    "inputs": "",
1632
                    "original_actions": "",
1633
                    "outputs": "",
1634
                    "variables": ""
1635
                },
1636
                "Entry": {
1637
                    "actions": "",
1638
                    "external_fun": "",
1639
                    "inputs": "",
1640
                    "original_actions": "",
1641
                    "outputs": "",
1642
                    "variables": ""
1643
                },
1644
                "Exit": {
1645
                    "actions": "",
1646
                    "external_fun": "",
1647
                    "inputs": "",
1648
                    "original_actions": "",
1649
                    "outputs": "",
1650
                    "variables": ""
1651
                },
1652
                "On": {
1653
                    "actions": "",
1654
                    "external_fun": "",
1655
                    "inputs": "",
1656
                    "original_actions": "",
1657
                    "outputs": "",
1658
                    "variables": ""
1659
                },
1660
                "OnAfter": {
1661
                    "actions": "",
1662
                    "external_fun": "",
1663
                    "inputs": "",
1664
                    "original_actions": "",
1665
                    "outputs": "",
1666
                    "variables": ""
1667
                },
1668
                "OnAt": {
1669
                    "actions": "",
1670
                    "external_fun": "",
1671
                    "inputs": "",
1672
                    "original_actions": "",
1673
                    "outputs": "",
1674
                    "variables": ""
1675
                },
1676
                "OnBefore": {
1677
                    "actions": "",
1678
                    "external_fun": "",
1679
                    "inputs": "",
1680
                    "original_actions": "",
1681
                    "outputs": "",
1682
                    "variables": ""
1683
                },
1684
                "OnEvery": {
1685
                    "actions": "",
1686
                    "external_fun": "",
1687
                    "inputs": "",
1688
                    "original_actions": "",
1689
                    "outputs": "",
1690
                    "variables": ""
1691
                }
1692
            },
1693
            "Composition": {
1694
                "DefaultTransitions": {
1695
                    "Condition": {
1696
                        "actions": "",
1697
                        "external_fun": "",
1698
                        "inputs": "",
1699
                        "original_actions": "",
1700
                        "outputs": "",
1701
                        "variables": ""
1702
                    },
1703
                    "ConditionAction": {
1704
                        "actions": "",
1705
                        "external_fun": "",
1706
                        "inputs": "",
1707
                        "original_actions": "",
1708
                        "outputs": "",
1709
                        "variables": ""
1710
                    },
1711
                    "Destination": {
1712
                        "Id": 1926,
1713
                        "Name": "Parallel2V2_Parallel2/C/C2/C2a",
1714
                        "Type": "State"
1715
                    },
1716
                    "Event": "",
1717
                    "Id": 1956,
1718
                    "TransitionAction": {
1719
                        "actions": "",
1720
                        "external_fun": "",
1721
                        "inputs": "",
1722
                        "original_actions": "",
1723
                        "outputs": "",
1724
                        "variables": ""
1725
                    }
1726
                },
1727
                "States": [
1728
                    1926,
1729
                    1927
1730
                ],
1731
                "Substates": [
1732
                    "C2a",
1733
                    "C2b"
1734
                ],
1735
                "Type": "EXCLUSIVE_OR"
1736
            },
1737
            "Id": 1925,
1738
            "InnerTransitions": [],
1739
            "Name": "C2",
1740
            "OuterTransitions": {
1741
                "Condition": {
1742
                    "actions": "",
1743
                    "external_fun": "",
1744
                    "inputs": "",
1745
                    "original_actions": "",
1746
                    "outputs": "",
1747
                    "variables": ""
1748
                },
1749
                "ConditionAction": {
1750
                    "actions": "",
1751
                    "external_fun": "",
1752
                    "inputs": "",
1753
                    "original_actions": "",
1754
                    "outputs": "",
1755
                    "variables": ""
1756
                },
1757
                "Destination": {
1758
                    "Id": 1928,
1759
                    "Name": "Parallel2V2_Parallel2/C/C1",
1760
                    "Type": "State"
1761
                },
1762
                "Event": "T",
1763
                "Id": 1973,
1764
                "TransitionAction": {
1765
                    "actions": "",
1766
                    "external_fun": "",
1767
                    "inputs": "",
1768
                    "original_actions": "",
1769
                    "outputs": "",
1770
                    "variables": ""
1771
                }
1772
            },
1773
            "Path": "Parallel2V2_Parallel2/C/C2"
1774
        },
1775
        {
1776
            "Actions": {
1777
                "Bind": {
1778
                    "actions": "",
1779
                    "external_fun": "",
1780
                    "inputs": "",
1781
                    "original_actions": "",
1782
                    "outputs": "",
1783
                    "variables": ""
1784
                },
1785
                "During": {
1786
                    "actions": "",
1787
                    "external_fun": "",
1788
                    "inputs": "",
1789
                    "original_actions": "",
1790
                    "outputs": "",
1791
                    "variables": ""
1792
                },
1793
                "Entry": {
1794
                    "actions": "",
1795
                    "external_fun": "",
1796
                    "inputs": "",
1797
                    "original_actions": "",
1798
                    "outputs": "",
1799
                    "variables": ""
1800
                },
1801
                "Exit": {
1802
                    "actions": "",
1803
                    "external_fun": "",
1804
                    "inputs": "",
1805
                    "original_actions": "",
1806
                    "outputs": "",
1807
                    "variables": ""
1808
                },
1809
                "On": {
1810
                    "actions": "",
1811
                    "external_fun": "",
1812
                    "inputs": "",
1813
                    "original_actions": "",
1814
                    "outputs": "",
1815
                    "variables": ""
1816
                },
1817
                "OnAfter": {
1818
                    "actions": "",
1819
                    "external_fun": "",
1820
                    "inputs": "",
1821
                    "original_actions": "",
1822
                    "outputs": "",
1823
                    "variables": ""
1824
                },
1825
                "OnAt": {
1826
                    "actions": "",
1827
                    "external_fun": "",
1828
                    "inputs": "",
1829
                    "original_actions": "",
1830
                    "outputs": "",
1831
                    "variables": ""
1832
                },
1833
                "OnBefore": {
1834
                    "actions": "",
1835
                    "external_fun": "",
1836
                    "inputs": "",
1837
                    "original_actions": "",
1838
                    "outputs": "",
1839
                    "variables": ""
1840
                },
1841
                "OnEvery": {
1842
                    "actions": "",
1843
                    "external_fun": "",
1844
                    "inputs": "",
1845
                    "original_actions": "",
1846
                    "outputs": "",
1847
                    "variables": ""
1848
                }
1849
            },
1850
            "Composition": {
1851
                "DefaultTransitions": {
1852
                    "Condition": {
1853
                        "actions": "",
1854
                        "external_fun": "",
1855
                        "inputs": "",
1856
                        "original_actions": "",
1857
                        "outputs": "",
1858
                        "variables": ""
1859
                    },
1860
                    "ConditionAction": {
1861
                        "actions": "",
1862
                        "external_fun": "",
1863
                        "inputs": "",
1864
                        "original_actions": "",
1865
                        "outputs": "",
1866
                        "variables": ""
1867
                    },
1868
                    "Destination": {
1869
                        "Id": 1929,
1870
                        "Name": "Parallel2V2_Parallel2/C/C1/C1a",
1871
                        "Type": "State"
1872
                    },
1873
                    "Event": "",
1874
                    "Id": 1959,
1875
                    "TransitionAction": {
1876
                        "actions": "",
1877
                        "external_fun": "",
1878
                        "inputs": "",
1879
                        "original_actions": "",
1880
                        "outputs": "",
1881
                        "variables": ""
1882
                    }
1883
                },
1884
                "States": [
1885
                    1929,
1886
                    1930
1887
                ],
1888
                "Substates": [
1889
                    "C1a",
1890
                    "C1b"
1891
                ],
1892
                "Type": "EXCLUSIVE_OR"
1893
            },
1894
            "Id": 1928,
1895
            "InnerTransitions": [],
1896
            "Name": "C1",
1897
            "OuterTransitions": {
1898
                "Condition": {
1899
                    "actions": "",
1900
                    "external_fun": "",
1901
                    "inputs": "",
1902
                    "original_actions": "",
1903
                    "outputs": "",
1904
                    "variables": ""
1905
                },
1906
                "ConditionAction": {
1907
                    "actions": "",
1908
                    "external_fun": "",
1909
                    "inputs": "",
1910
                    "original_actions": "",
1911
                    "outputs": "",
1912
                    "variables": ""
1913
                },
1914
                "Destination": {
1915
                    "Id": 1925,
1916
                    "Name": "Parallel2V2_Parallel2/C/C2",
1917
                    "Type": "State"
1918
                },
1919
                "Event": "T",
1920
                "Id": 1972,
1921
                "TransitionAction": {
1922
                    "actions": "",
1923
                    "external_fun": "",
1924
                    "inputs": "",
1925
                    "original_actions": "",
1926
                    "outputs": "",
1927
                    "variables": ""
1928
                }
1929
            },
1930
            "Path": "Parallel2V2_Parallel2/C/C1"
1931
        },
1932
        {
1933
            "Actions": {
1934
                "Bind": {
1935
                    "actions": "",
1936
                    "external_fun": "",
1937
                    "inputs": "",
1938
                    "original_actions": "",
1939
                    "outputs": "",
1940
                    "variables": ""
1941
                },
1942
                "During": {
1943
                    "actions": "",
1944
                    "external_fun": "",
1945
                    "inputs": "",
1946
                    "original_actions": "",
1947
                    "outputs": "",
1948
                    "variables": ""
1949
                },
1950
                "Entry": {
1951
                    "actions": "",
1952
                    "external_fun": "",
1953
                    "inputs": "",
1954
                    "original_actions": "",
1955
                    "outputs": "",
1956
                    "variables": ""
1957
                },
1958
                "Exit": {
1959
                    "actions": "",
1960
                    "external_fun": "",
1961
                    "inputs": "",
1962
                    "original_actions": "",
1963
                    "outputs": "",
1964
                    "variables": ""
1965
                },
1966
                "On": {
1967
                    "actions": "",
1968
                    "external_fun": "",
1969
                    "inputs": "",
1970
                    "original_actions": "",
1971
                    "outputs": "",
1972
                    "variables": ""
1973
                },
1974
                "OnAfter": {
1975
                    "actions": "",
1976
                    "external_fun": "",
1977
                    "inputs": "",
1978
                    "original_actions": "",
1979
                    "outputs": "",
1980
                    "variables": ""
1981
                },
1982
                "OnAt": {
1983
                    "actions": "",
1984
                    "external_fun": "",
1985
                    "inputs": "",
1986
                    "original_actions": "",
1987
                    "outputs": "",
1988
                    "variables": ""
1989
                },
1990
                "OnBefore": {
1991
                    "actions": "",
1992
                    "external_fun": "",
1993
                    "inputs": "",
1994
                    "original_actions": "",
1995
                    "outputs": "",
1996
                    "variables": ""
1997
                },
1998
                "OnEvery": {
1999
                    "actions": "",
2000
                    "external_fun": "",
2001
                    "inputs": "",
2002
                    "original_actions": "",
2003
                    "outputs": "",
2004
                    "variables": ""
2005
                }
2006
            },
2007
            "Composition": {
2008
                "DefaultTransitions": [],
2009
                "States": [],
2010
                "Substates": [],
2011
                "Type": "EXCLUSIVE_OR"
2012
            },
2013
            "Id": 1915,
2014
            "InnerTransitions": [],
2015
            "Name": "A2a",
2016
            "OuterTransitions": {
2017
                "Condition": {
2018
                    "actions": "",
2019
                    "external_fun": "",
2020
                    "inputs": "",
2021
                    "original_actions": "",
2022
                    "outputs": "",
2023
                    "variables": ""
2024
                },
2025
                "ConditionAction": {
2026
                    "actions": "",
2027
                    "external_fun": "",
2028
                    "inputs": "",
2029
                    "original_actions": "",
2030
                    "outputs": "",
2031
                    "variables": ""
2032
                },
2033
                "Destination": {
2034
                    "Id": 1916,
2035
                    "Name": "Parallel2V2_Parallel2/A/A2/A2b",
2036
                    "Type": "State"
2037
                },
2038
                "Event": "S",
2039
                "Id": 1945,
2040
                "TransitionAction": {
2041
                    "actions": "",
2042
                    "external_fun": "",
2043
                    "inputs": "",
2044
                    "original_actions": "",
2045
                    "outputs": "",
2046
                    "variables": ""
2047
                }
2048
            },
2049
            "Path": "Parallel2V2_Parallel2/A/A2/A2a"
2050
        },
2051
        {
2052
            "Actions": {
2053
                "Bind": {
2054
                    "actions": "",
2055
                    "external_fun": "",
2056
                    "inputs": "",
2057
                    "original_actions": "",
2058
                    "outputs": "",
2059
                    "variables": ""
2060
                },
2061
                "During": {
2062
                    "actions": "",
2063
                    "external_fun": "",
2064
                    "inputs": "",
2065
                    "original_actions": "",
2066
                    "outputs": "",
2067
                    "variables": ""
2068
                },
2069
                "Entry": {
2070
                    "actions": "",
2071
                    "external_fun": "",
2072
                    "inputs": "",
2073
                    "original_actions": "",
2074
                    "outputs": "",
2075
                    "variables": ""
2076
                },
2077
                "Exit": {
2078
                    "actions": "",
2079
                    "external_fun": "",
2080
                    "inputs": "",
2081
                    "original_actions": "",
2082
                    "outputs": "",
2083
                    "variables": ""
2084
                },
2085
                "On": {
2086
                    "actions": "",
2087
                    "external_fun": "",
2088
                    "inputs": "",
2089
                    "original_actions": "",
2090
                    "outputs": "",
2091
                    "variables": ""
2092
                },
2093
                "OnAfter": {
2094
                    "actions": "",
2095
                    "external_fun": "",
2096
                    "inputs": "",
2097
                    "original_actions": "",
2098
                    "outputs": "",
2099
                    "variables": ""
2100
                },
2101
                "OnAt": {
2102
                    "actions": "",
2103
                    "external_fun": "",
2104
                    "inputs": "",
2105
                    "original_actions": "",
2106
                    "outputs": "",
2107
                    "variables": ""
2108
                },
2109
                "OnBefore": {
2110
                    "actions": "",
2111
                    "external_fun": "",
2112
                    "inputs": "",
2113
                    "original_actions": "",
2114
                    "outputs": "",
2115
                    "variables": ""
2116
                },
2117
                "OnEvery": {
2118
                    "actions": "",
2119
                    "external_fun": "",
2120
                    "inputs": "",
2121
                    "original_actions": "",
2122
                    "outputs": "",
2123
                    "variables": ""
2124
                }
2125
            },
2126
            "Composition": {
2127
                "DefaultTransitions": [],
2128
                "States": [],
2129
                "Substates": [],
2130
                "Type": "EXCLUSIVE_OR"
2131
            },
2132
            "Id": 1916,
2133
            "InnerTransitions": [],
2134
            "Name": "A2b",
2135
            "OuterTransitions": {
2136
                "Condition": {
2137
                    "actions": "",
2138
                    "external_fun": "",
2139
                    "inputs": "",
2140
                    "original_actions": "",
2141
                    "outputs": "",
2142
                    "variables": ""
2143
                },
2144
                "ConditionAction": {
2145
                    "actions": "",
2146
                    "external_fun": "",
2147
                    "inputs": "",
2148
                    "original_actions": "",
2149
                    "outputs": "",
2150
                    "variables": ""
2151
                },
2152
                "Destination": {
2153
                    "Id": 1915,
2154
                    "Name": "Parallel2V2_Parallel2/A/A2/A2a",
2155
                    "Type": "State"
2156
                },
2157
                "Event": "R",
2158
                "Id": 1946,
2159
                "TransitionAction": {
2160
                    "actions": "",
2161
                    "external_fun": "",
2162
                    "inputs": "",
2163
                    "original_actions": "",
2164
                    "outputs": "",
2165
                    "variables": ""
2166
                }
2167
            },
2168
            "Path": "Parallel2V2_Parallel2/A/A2/A2b"
2169
        },
2170
        {
2171
            "Actions": {
2172
                "Bind": {
2173
                    "actions": "",
2174
                    "external_fun": "",
2175
                    "inputs": "",
2176
                    "original_actions": "",
2177
                    "outputs": "",
2178
                    "variables": ""
2179
                },
2180
                "During": {
2181
                    "actions": "",
2182
                    "external_fun": "",
2183
                    "inputs": "",
2184
                    "original_actions": "",
2185
                    "outputs": "",
2186
                    "variables": ""
2187
                },
2188
                "Entry": {
2189
                    "actions": "",
2190
                    "external_fun": "",
2191
                    "inputs": "",
2192
                    "original_actions": "",
2193
                    "outputs": "",
2194
                    "variables": ""
2195
                },
2196
                "Exit": {
2197
                    "actions": "",
2198
                    "external_fun": "",
2199
                    "inputs": "",
2200
                    "original_actions": "",
2201
                    "outputs": "",
2202
                    "variables": ""
2203
                },
2204
                "On": {
2205
                    "actions": "",
2206
                    "external_fun": "",
2207
                    "inputs": "",
2208
                    "original_actions": "",
2209
                    "outputs": "",
2210
                    "variables": ""
2211
                },
2212
                "OnAfter": {
2213
                    "actions": "",
2214
                    "external_fun": "",
2215
                    "inputs": "",
2216
                    "original_actions": "",
2217
                    "outputs": "",
2218
                    "variables": ""
2219
                },
2220
                "OnAt": {
2221
                    "actions": "",
2222
                    "external_fun": "",
2223
                    "inputs": "",
2224
                    "original_actions": "",
2225
                    "outputs": "",
2226
                    "variables": ""
2227
                },
2228
                "OnBefore": {
2229
                    "actions": "",
2230
                    "external_fun": "",
2231
                    "inputs": "",
2232
                    "original_actions": "",
2233
                    "outputs": "",
2234
                    "variables": ""
2235
                },
2236
                "OnEvery": {
2237
                    "actions": "",
2238
                    "external_fun": "",
2239
                    "inputs": "",
2240
                    "original_actions": "",
2241
                    "outputs": "",
2242
                    "variables": ""
2243
                }
2244
            },
2245
            "Composition": {
2246
                "DefaultTransitions": [],
2247
                "States": [],
2248
                "Substates": [],
2249
                "Type": "EXCLUSIVE_OR"
2250
            },
2251
            "Id": 1912,
2252
            "InnerTransitions": [],
2253
            "Name": "A1a",
2254
            "OuterTransitions": {
2255
                "Condition": {
2256
                    "actions": "",
2257
                    "external_fun": "",
2258
                    "inputs": "",
2259
                    "original_actions": "",
2260
                    "outputs": "",
2261
                    "variables": ""
2262
                },
2263
                "ConditionAction": {
2264
                    "actions": "",
2265
                    "external_fun": "",
2266
                    "inputs": "",
2267
                    "original_actions": "",
2268
                    "outputs": "",
2269
                    "variables": ""
2270
                },
2271
                "Destination": {
2272
                    "Id": 1913,
2273
                    "Name": "Parallel2V2_Parallel2/A/A1/A1b",
2274
                    "Type": "State"
2275
                },
2276
                "Event": "S",
2277
                "Id": 1942,
2278
                "TransitionAction": {
2279
                    "actions": "",
2280
                    "external_fun": "",
2281
                    "inputs": "",
2282
                    "original_actions": "",
2283
                    "outputs": "",
2284
                    "variables": ""
2285
                }
2286
            },
2287
            "Path": "Parallel2V2_Parallel2/A/A1/A1a"
2288
        },
2289
        {
2290
            "Actions": {
2291
                "Bind": {
2292
                    "actions": "",
2293
                    "external_fun": "",
2294
                    "inputs": "",
2295
                    "original_actions": "",
2296
                    "outputs": "",
2297
                    "variables": ""
2298
                },
2299
                "During": {
2300
                    "actions": "",
2301
                    "external_fun": "",
2302
                    "inputs": "",
2303
                    "original_actions": "",
2304
                    "outputs": "",
2305
                    "variables": ""
2306
                },
2307
                "Entry": {
2308
                    "actions": "",
2309
                    "external_fun": "",
2310
                    "inputs": "",
2311
                    "original_actions": "",
2312
                    "outputs": "",
2313
                    "variables": ""
2314
                },
2315
                "Exit": {
2316
                    "actions": "",
2317
                    "external_fun": "",
2318
                    "inputs": "",
2319
                    "original_actions": "",
2320
                    "outputs": "",
2321
                    "variables": ""
2322
                },
2323
                "On": {
2324
                    "actions": "",
2325
                    "external_fun": "",
2326
                    "inputs": "",
2327
                    "original_actions": "",
2328
                    "outputs": "",
2329
                    "variables": ""
2330
                },
2331
                "OnAfter": {
2332
                    "actions": "",
2333
                    "external_fun": "",
2334
                    "inputs": "",
2335
                    "original_actions": "",
2336
                    "outputs": "",
2337
                    "variables": ""
2338
                },
2339
                "OnAt": {
2340
                    "actions": "",
2341
                    "external_fun": "",
2342
                    "inputs": "",
2343
                    "original_actions": "",
2344
                    "outputs": "",
2345
                    "variables": ""
2346
                },
2347
                "OnBefore": {
2348
                    "actions": "",
2349
                    "external_fun": "",
2350
                    "inputs": "",
2351
                    "original_actions": "",
2352
                    "outputs": "",
2353
                    "variables": ""
2354
                },
2355
                "OnEvery": {
2356
                    "actions": "",
2357
                    "external_fun": "",
2358
                    "inputs": "",
2359
                    "original_actions": "",
2360
                    "outputs": "",
2361
                    "variables": ""
2362
                }
2363
            },
2364
            "Composition": {
2365
                "DefaultTransitions": [],
2366
                "States": [],
2367
                "Substates": [],
2368
                "Type": "EXCLUSIVE_OR"
2369
            },
2370
            "Id": 1913,
2371
            "InnerTransitions": [],
2372
            "Name": "A1b",
2373
            "OuterTransitions": {
2374
                "Condition": {
2375
                    "actions": "",
2376
                    "external_fun": "",
2377
                    "inputs": "",
2378
                    "original_actions": "",
2379
                    "outputs": "",
2380
                    "variables": ""
2381
                },
2382
                "ConditionAction": {
2383
                    "actions": "",
2384
                    "external_fun": "",
2385
                    "inputs": "",
2386
                    "original_actions": "",
2387
                    "outputs": "",
2388
                    "variables": ""
2389
                },
2390
                "Destination": {
2391
                    "Id": 1912,
2392
                    "Name": "Parallel2V2_Parallel2/A/A1/A1a",
2393
                    "Type": "State"
2394
                },
2395
                "Event": "R",
2396
                "Id": 1943,
2397
                "TransitionAction": {
2398
                    "actions": "",
2399
                    "external_fun": "",
2400
                    "inputs": "",
2401
                    "original_actions": "",
2402
                    "outputs": "",
2403
                    "variables": ""
2404
                }
2405
            },
2406
            "Path": "Parallel2V2_Parallel2/A/A1/A1b"
2407
        },
2408
        {
2409
            "Actions": {
2410
                "Bind": {
2411
                    "actions": "",
2412
                    "external_fun": "",
2413
                    "inputs": "",
2414
                    "original_actions": "",
2415
                    "outputs": "",
2416
                    "variables": ""
2417
                },
2418
                "During": {
2419
                    "actions": "",
2420
                    "external_fun": "",
2421
                    "inputs": "",
2422
                    "original_actions": "",
2423
                    "outputs": "",
2424
                    "variables": ""
2425
                },
2426
                "Entry": {
2427
                    "actions": "",
2428
                    "external_fun": "",
2429
                    "inputs": "",
2430
                    "original_actions": "",
2431
                    "outputs": "",
2432
                    "variables": ""
2433
                },
2434
                "Exit": {
2435
                    "actions": "",
2436
                    "external_fun": "",
2437
                    "inputs": "",
2438
                    "original_actions": "",
2439
                    "outputs": "",
2440
                    "variables": ""
2441
                },
2442
                "On": {
2443
                    "actions": "",
2444
                    "external_fun": "",
2445
                    "inputs": "",
2446
                    "original_actions": "",
2447
                    "outputs": "",
2448
                    "variables": ""
2449
                },
2450
                "OnAfter": {
2451
                    "actions": "",
2452
                    "external_fun": "",
2453
                    "inputs": "",
2454
                    "original_actions": "",
2455
                    "outputs": "",
2456
                    "variables": ""
2457
                },
2458
                "OnAt": {
2459
                    "actions": "",
2460
                    "external_fun": "",
2461
                    "inputs": "",
2462
                    "original_actions": "",
2463
                    "outputs": "",
2464
                    "variables": ""
2465
                },
2466
                "OnBefore": {
2467
                    "actions": "",
2468
                    "external_fun": "",
2469
                    "inputs": "",
2470
                    "original_actions": "",
2471
                    "outputs": "",
2472
                    "variables": ""
2473
                },
2474
                "OnEvery": {
2475
                    "actions": "",
2476
                    "external_fun": "",
2477
                    "inputs": "",
2478
                    "original_actions": "",
2479
                    "outputs": "",
2480
                    "variables": ""
2481
                }
2482
            },
2483
            "Composition": {
2484
                "DefaultTransitions": [],
2485
                "States": [],
2486
                "Substates": [],
2487
                "Type": "EXCLUSIVE_OR"
2488
            },
2489
            "Id": 1919,
2490
            "InnerTransitions": [],
2491
            "Name": "B2a",
2492
            "OuterTransitions": {
2493
                "Condition": {
2494
                    "actions": "",
2495
                    "external_fun": "",
2496
                    "inputs": "",
2497
                    "original_actions": "",
2498
                    "outputs": "",
2499
                    "variables": ""
2500
                },
2501
                "ConditionAction": {
2502
                    "actions": "",
2503
                    "external_fun": "",
2504
                    "inputs": "",
2505
                    "original_actions": "",
2506
                    "outputs": "",
2507
                    "variables": ""
2508
                },
2509
                "Destination": {
2510
                    "Id": 1920,
2511
                    "Name": "Parallel2V2_Parallel2/B/B2/B2b",
2512
                    "Type": "State"
2513
                },
2514
                "Event": "S",
2515
                "Id": 1951,
2516
                "TransitionAction": {
2517
                    "actions": "",
2518
                    "external_fun": "",
2519
                    "inputs": "",
2520
                    "original_actions": "",
2521
                    "outputs": "",
2522
                    "variables": ""
2523
                }
2524
            },
2525
            "Path": "Parallel2V2_Parallel2/B/B2/B2a"
2526
        },
2527
        {
2528
            "Actions": {
2529
                "Bind": {
2530
                    "actions": "",
2531
                    "external_fun": "",
2532
                    "inputs": "",
2533
                    "original_actions": "",
2534
                    "outputs": "",
2535
                    "variables": ""
2536
                },
2537
                "During": {
2538
                    "actions": "",
2539
                    "external_fun": "",
2540
                    "inputs": "",
2541
                    "original_actions": "",
2542
                    "outputs": "",
2543
                    "variables": ""
2544
                },
2545
                "Entry": {
2546
                    "actions": "",
2547
                    "external_fun": "",
2548
                    "inputs": "",
2549
                    "original_actions": "",
2550
                    "outputs": "",
2551
                    "variables": ""
2552
                },
2553
                "Exit": {
2554
                    "actions": "",
2555
                    "external_fun": "",
2556
                    "inputs": "",
2557
                    "original_actions": "",
2558
                    "outputs": "",
2559
                    "variables": ""
2560
                },
2561
                "On": {
2562
                    "actions": "",
2563
                    "external_fun": "",
2564
                    "inputs": "",
2565
                    "original_actions": "",
2566
                    "outputs": "",
2567
                    "variables": ""
2568
                },
2569
                "OnAfter": {
2570
                    "actions": "",
2571
                    "external_fun": "",
2572
                    "inputs": "",
2573
                    "original_actions": "",
2574
                    "outputs": "",
2575
                    "variables": ""
2576
                },
2577
                "OnAt": {
2578
                    "actions": "",
2579
                    "external_fun": "",
2580
                    "inputs": "",
2581
                    "original_actions": "",
2582
                    "outputs": "",
2583
                    "variables": ""
2584
                },
2585
                "OnBefore": {
2586
                    "actions": "",
2587
                    "external_fun": "",
2588
                    "inputs": "",
2589
                    "original_actions": "",
2590
                    "outputs": "",
2591
                    "variables": ""
2592
                },
2593
                "OnEvery": {
2594
                    "actions": "",
2595
                    "external_fun": "",
2596
                    "inputs": "",
2597
                    "original_actions": "",
2598
                    "outputs": "",
2599
                    "variables": ""
2600
                }
2601
            },
2602
            "Composition": {
2603
                "DefaultTransitions": [],
2604
                "States": [],
2605
                "Substates": [],
2606
                "Type": "EXCLUSIVE_OR"
2607
            },
2608
            "Id": 1920,
2609
            "InnerTransitions": [],
2610
            "Name": "B2b",
2611
            "OuterTransitions": {
2612
                "Condition": {
2613
                    "actions": "",
2614
                    "external_fun": "",
2615
                    "inputs": "",
2616
                    "original_actions": "",
2617
                    "outputs": "",
2618
                    "variables": ""
2619
                },
2620
                "ConditionAction": {
2621
                    "actions": "",
2622
                    "external_fun": "",
2623
                    "inputs": "",
2624
                    "original_actions": "",
2625
                    "outputs": "",
2626
                    "variables": ""
2627
                },
2628
                "Destination": {
2629
                    "Id": 1919,
2630
                    "Name": "Parallel2V2_Parallel2/B/B2/B2a",
2631
                    "Type": "State"
2632
                },
2633
                "Event": "R",
2634
                "Id": 1952,
2635
                "TransitionAction": {
2636
                    "actions": "",
2637
                    "external_fun": "",
2638
                    "inputs": "",
2639
                    "original_actions": "",
2640
                    "outputs": "",
2641
                    "variables": ""
2642
                }
2643
            },
2644
            "Path": "Parallel2V2_Parallel2/B/B2/B2b"
2645
        },
2646
        {
2647
            "Actions": {
2648
                "Bind": {
2649
                    "actions": "",
2650
                    "external_fun": "",
2651
                    "inputs": "",
2652
                    "original_actions": "",
2653
                    "outputs": "",
2654
                    "variables": ""
2655
                },
2656
                "During": {
2657
                    "actions": "",
2658
                    "external_fun": "",
2659
                    "inputs": "",
2660
                    "original_actions": "",
2661
                    "outputs": "",
2662
                    "variables": ""
2663
                },
2664
                "Entry": {
2665
                    "actions": "",
2666
                    "external_fun": "",
2667
                    "inputs": "",
2668
                    "original_actions": "",
2669
                    "outputs": "",
2670
                    "variables": ""
2671
                },
2672
                "Exit": {
2673
                    "actions": "",
2674
                    "external_fun": "",
2675
                    "inputs": "",
2676
                    "original_actions": "",
2677
                    "outputs": "",
2678
                    "variables": ""
2679
                },
2680
                "On": {
2681
                    "actions": "",
2682
                    "external_fun": "",
2683
                    "inputs": "",
2684
                    "original_actions": "",
2685
                    "outputs": "",
2686
                    "variables": ""
2687
                },
2688
                "OnAfter": {
2689
                    "actions": "",
2690
                    "external_fun": "",
2691
                    "inputs": "",
2692
                    "original_actions": "",
2693
                    "outputs": "",
2694
                    "variables": ""
2695
                },
2696
                "OnAt": {
2697
                    "actions": "",
2698
                    "external_fun": "",
2699
                    "inputs": "",
2700
                    "original_actions": "",
2701
                    "outputs": "",
2702
                    "variables": ""
2703
                },
2704
                "OnBefore": {
2705
                    "actions": "",
2706
                    "external_fun": "",
2707
                    "inputs": "",
2708
                    "original_actions": "",
2709
                    "outputs": "",
2710
                    "variables": ""
2711
                },
2712
                "OnEvery": {
2713
                    "actions": "",
2714
                    "external_fun": "",
2715
                    "inputs": "",
2716
                    "original_actions": "",
2717
                    "outputs": "",
2718
                    "variables": ""
2719
                }
2720
            },
2721
            "Composition": {
2722
                "DefaultTransitions": [],
2723
                "States": [],
2724
                "Substates": [],
2725
                "Type": "EXCLUSIVE_OR"
2726
            },
2727
            "Id": 1922,
2728
            "InnerTransitions": [],
2729
            "Name": "B1a",
2730
            "OuterTransitions": {
2731
                "Condition": {
2732
                    "actions": "",
2733
                    "external_fun": "",
2734
                    "inputs": "",
2735
                    "original_actions": "",
2736
                    "outputs": "",
2737
                    "variables": ""
2738
                },
2739
                "ConditionAction": {
2740
                    "actions": "",
2741
                    "external_fun": "",
2742
                    "inputs": "",
2743
                    "original_actions": "",
2744
                    "outputs": "",
2745
                    "variables": ""
2746
                },
2747
                "Destination": {
2748
                    "Id": 1923,
2749
                    "Name": "Parallel2V2_Parallel2/B/B1/B1b",
2750
                    "Type": "State"
2751
                },
2752
                "Event": "S",
2753
                "Id": 1954,
2754
                "TransitionAction": {
2755
                    "actions": "",
2756
                    "external_fun": "",
2757
                    "inputs": "",
2758
                    "original_actions": "",
2759
                    "outputs": "",
2760
                    "variables": ""
2761
                }
2762
            },
2763
            "Path": "Parallel2V2_Parallel2/B/B1/B1a"
2764
        },
2765
        {
2766
            "Actions": {
2767
                "Bind": {
2768
                    "actions": "",
2769
                    "external_fun": "",
2770
                    "inputs": "",
2771
                    "original_actions": "",
2772
                    "outputs": "",
2773
                    "variables": ""
2774
                },
2775
                "During": {
2776
                    "actions": "",
2777
                    "external_fun": "",
2778
                    "inputs": "",
2779
                    "original_actions": "",
2780
                    "outputs": "",
2781
                    "variables": ""
2782
                },
2783
                "Entry": {
2784
                    "actions": "",
2785
                    "external_fun": "",
2786
                    "inputs": "",
2787
                    "original_actions": "",
2788
                    "outputs": "",
2789
                    "variables": ""
2790
                },
2791
                "Exit": {
2792
                    "actions": "",
2793
                    "external_fun": "",
2794
                    "inputs": "",
2795
                    "original_actions": "",
2796
                    "outputs": "",
2797
                    "variables": ""
2798
                },
2799
                "On": {
2800
                    "actions": "",
2801
                    "external_fun": "",
2802
                    "inputs": "",
2803
                    "original_actions": "",
2804
                    "outputs": "",
2805
                    "variables": ""
2806
                },
2807
                "OnAfter": {
2808
                    "actions": "",
2809
                    "external_fun": "",
2810
                    "inputs": "",
2811
                    "original_actions": "",
2812
                    "outputs": "",
2813
                    "variables": ""
2814
                },
2815
                "OnAt": {
2816
                    "actions": "",
2817
                    "external_fun": "",
2818
                    "inputs": "",
2819
                    "original_actions": "",
2820
                    "outputs": "",
2821
                    "variables": ""
2822
                },
2823
                "OnBefore": {
2824
                    "actions": "",
2825
                    "external_fun": "",
2826
                    "inputs": "",
2827
                    "original_actions": "",
2828
                    "outputs": "",
2829
                    "variables": ""
2830
                },
2831
                "OnEvery": {
2832
                    "actions": "",
2833
                    "external_fun": "",
2834
                    "inputs": "",
2835
                    "original_actions": "",
2836
                    "outputs": "",
2837
                    "variables": ""
2838
                }
2839
            },
2840
            "Composition": {
2841
                "DefaultTransitions": [],
2842
                "States": [],
2843
                "Substates": [],
2844
                "Type": "EXCLUSIVE_OR"
2845
            },
2846
            "Id": 1923,
2847
            "InnerTransitions": [],
2848
            "Name": "B1b",
2849
            "OuterTransitions": {
2850
                "Condition": {
2851
                    "actions": "",
2852
                    "external_fun": "",
2853
                    "inputs": "",
2854
                    "original_actions": "",
2855
                    "outputs": "",
2856
                    "variables": ""
2857
                },
2858
                "ConditionAction": {
2859
                    "actions": "",
2860
                    "external_fun": "",
2861
                    "inputs": "",
2862
                    "original_actions": "",
2863
                    "outputs": "",
2864
                    "variables": ""
2865
                },
2866
                "Destination": {
2867
                    "Id": 1922,
2868
                    "Name": "Parallel2V2_Parallel2/B/B1/B1a",
2869
                    "Type": "State"
2870
                },
2871
                "Event": "R",
2872
                "Id": 1955,
2873
                "TransitionAction": {
2874
                    "actions": "",
2875
                    "external_fun": "",
2876
                    "inputs": "",
2877
                    "original_actions": "",
2878
                    "outputs": "",
2879
                    "variables": ""
2880
                }
2881
            },
2882
            "Path": "Parallel2V2_Parallel2/B/B1/B1b"
2883
        },
2884
        {
2885
            "Actions": {
2886
                "Bind": {
2887
                    "actions": "",
2888
                    "external_fun": "",
2889
                    "inputs": "",
2890
                    "original_actions": "",
2891
                    "outputs": "",
2892
                    "variables": ""
2893
                },
2894
                "During": {
2895
                    "actions": "",
2896
                    "external_fun": "",
2897
                    "inputs": "",
2898
                    "original_actions": "",
2899
                    "outputs": "",
2900
                    "variables": ""
2901
                },
2902
                "Entry": {
2903
                    "actions": "",
2904
                    "external_fun": "",
2905
                    "inputs": "",
2906
                    "original_actions": "",
2907
                    "outputs": "",
2908
                    "variables": ""
2909
                },
2910
                "Exit": {
2911
                    "actions": "",
2912
                    "external_fun": "",
2913
                    "inputs": "",
2914
                    "original_actions": "",
2915
                    "outputs": "",
2916
                    "variables": ""
2917
                },
2918
                "On": {
2919
                    "actions": "",
2920
                    "external_fun": "",
2921
                    "inputs": "",
2922
                    "original_actions": "",
2923
                    "outputs": "",
2924
                    "variables": ""
2925
                },
2926
                "OnAfter": {
2927
                    "actions": "",
2928
                    "external_fun": "",
2929
                    "inputs": "",
2930
                    "original_actions": "",
2931
                    "outputs": "",
2932
                    "variables": ""
2933
                },
2934
                "OnAt": {
2935
                    "actions": "",
2936
                    "external_fun": "",
2937
                    "inputs": "",
2938
                    "original_actions": "",
2939
                    "outputs": "",
2940
                    "variables": ""
2941
                },
2942
                "OnBefore": {
2943
                    "actions": "",
2944
                    "external_fun": "",
2945
                    "inputs": "",
2946
                    "original_actions": "",
2947
                    "outputs": "",
2948
                    "variables": ""
2949
                },
2950
                "OnEvery": {
2951
                    "actions": "",
2952
                    "external_fun": "",
2953
                    "inputs": "",
2954
                    "original_actions": "",
2955
                    "outputs": "",
2956
                    "variables": ""
2957
                }
2958
            },
2959
            "Composition": {
2960
                "DefaultTransitions": [],
2961
                "States": [],