Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (127 KB)

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