Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (128 KB)

1
{
2
    "Data": [
3
        {
4
            "ArraySize": "",
5
            "CompiledType": "unknown",
6
            "Datatype": "int",
7
            "Id": 226,
8
            "InitialValue": "0",
9
            "Name": "a",
10
            "Port": 1,
11
            "Scope": "Output"
12
        },
13
        {
14
            "ArraySize": "",
15
            "CompiledType": "unknown",
16
            "Datatype": "int",
17
            "Id": 227,
18
            "InitialValue": "0",
19
            "Name": "b",
20
            "Port": 2,
21
            "Scope": "Output"
22
        },
23
        {
24
            "ArraySize": "",
25
            "CompiledType": "unknown",
26
            "Datatype": "int",
27
            "Id": 228,
28
            "InitialValue": "0",
29
            "Name": "dd",
30
            "Port": 3,
31
            "Scope": "Output"
32
        },
33
        {
34
            "ArraySize": "",
35
            "CompiledType": "unknown",
36
            "Datatype": "int",
37
            "Id": 229,
38
            "InitialValue": "0",
39
            "Name": "c",
40
            "Port": 4,
41
            "Scope": "Output"
42
        },
43
        {
44
            "ArraySize": "",
45
            "CompiledType": "unknown",
46
            "Datatype": "int",
47
            "Id": 230,
48
            "InitialValue": "0",
49
            "Name": "x",
50
            "Port": 1,
51
            "Scope": "Input"
52
        }
53
    ],
54
    "Events": [
55
        {
56
            "Id": 231,
57
            "Name": "R",
58
            "Port": 1,
59
            "Scope": "Input"
60
        },
61
        {
62
            "Id": 232,
63
            "Name": "S",
64
            "Port": 2,
65
            "Scope": "Input"
66
        },
67
        {
68
            "Id": 233,
69
            "Name": "T",
70
            "Port": 3,
71
            "Scope": "Input"
72
        }
73
    ],
74
    "GraphicalFunctions": [],
75
    "Junctions": [],
76
    "Name": "Parallel4",
77
    "Path": "Parallel4_Parallel4",
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
                    161,
159
                    168,
160
                    189
161
                ],
162
                "Substates": [
163
                    "A",
164
                    "B",
165
                    "CD"
166
                ],
167
                "Type": "PARALLEL_AND"
168
            },
169
            "Id": 160,
170
            "InnerTransitions": [],
171
            "OuterTransitions": [],
172
            "Path": "Parallel4_Parallel4"
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": 162,
269
                        "Name": "Parallel4_Parallel4/A/A1",
270
                        "Type": "State"
271
                    },
272
                    "Event": "",
273
                    "Id": 190,
274
                    "TransitionAction": {
275
                        "actions": "",
276
                        "external_fun": "",
277
                        "inputs": "",
278
                        "original_actions": "",
279
                        "outputs": "",
280
                        "variables": ""
281
                    }
282
                },
283
                "States": [
284
                    165,
285
                    162
286
                ],
287
                "Substates": [
288
                    "A2",
289
                    "A1"
290
                ],
291
                "Type": "EXCLUSIVE_OR"
292
            },
293
            "Id": 161,
294
            "InnerTransitions": [],
295
            "Name": "A",
296
            "OuterTransitions": [],
297
            "Path": "Parallel4_Parallel4/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": 172,
394
                        "Name": "Parallel4_Parallel4/B/B1",
395
                        "Type": "State"
396
                    },
397
                    "Event": "",
398
                    "Id": 199,
399
                    "TransitionAction": {
400
                        "actions": "",
401
                        "external_fun": "",
402
                        "inputs": "",
403
                        "original_actions": "",
404
                        "outputs": "",
405
                        "variables": ""
406
                    }
407
                },
408
                "States": [
409
                    169,
410
                    172
411
                ],
412
                "Substates": [
413
                    "B2",
414
                    "B1"
415
                ],
416
                "Type": "EXCLUSIVE_OR"
417
            },
418
            "Id": 168,
419
            "InnerTransitions": [],
420
            "Name": "B",
421
            "OuterTransitions": [],
422
            "Path": "Parallel4_Parallel4/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
                    175,
503
                    182
504
                ],
505
                "Substates": [
506
                    "C",
507
                    "D"
508
                ],
509
                "Type": "PARALLEL_AND"
510
            },
511
            "Id": 189,
512
            "InnerTransitions": [],
513
            "Name": "CD",
514
            "OuterTransitions": [],
515
            "Path": "Parallel4_Parallel4/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": 166,
612
                        "Name": "Parallel4_Parallel4/A/A2/A2a",
613
                        "Type": "State"
614
                    },
615
                    "Event": "",
616
                    "Id": 196,
617
                    "TransitionAction": {
618
                        "actions": "",
619
                        "external_fun": "",
620
                        "inputs": "",
621
                        "original_actions": "",
622
                        "outputs": "",
623
                        "variables": ""
624
                    }
625
                },
626
                "States": [
627
                    166,
628
                    167
629
                ],
630
                "Substates": [
631
                    "A2a",
632
                    "A2b"
633
                ],
634
                "Type": "EXCLUSIVE_OR"
635
            },
636
            "Id": 165,
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": 162,
658
                    "Name": "Parallel4_Parallel4/A/A1",
659
                    "Type": "State"
660
                },
661
                "Event": "T",
662
                "Id": 192,
663
                "TransitionAction": {
664
                    "actions": "",
665
                    "external_fun": "",
666
                    "inputs": "",
667
                    "original_actions": "",
668
                    "outputs": "",
669
                    "variables": ""
670
                }
671
            },
672
            "Path": "Parallel4_Parallel4/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": 163,
769
                        "Name": "Parallel4_Parallel4/A/A1/A1a",
770
                        "Type": "State"
771
                    },
772
                    "Event": "",
773
                    "Id": 193,
774
                    "TransitionAction": {
775
                        "actions": "",
776
                        "external_fun": "",
777
                        "inputs": "",
778
                        "original_actions": "",
779
                        "outputs": "",
780
                        "variables": ""
781
                    }
782
                },
783
                "States": [
784
                    163,
785
                    164
786
                ],
787
                "Substates": [
788
                    "A1a",
789
                    "A1b"
790
                ],
791
                "Type": "EXCLUSIVE_OR"
792
            },
793
            "Id": 162,
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": 165,
815
                    "Name": "Parallel4_Parallel4/A/A2",
816
                    "Type": "State"
817
                },
818
                "Event": "T",
819
                "Id": 191,
820
                "TransitionAction": {
821
                    "actions": "",
822
                    "external_fun": "",
823
                    "inputs": "",
824
                    "original_actions": "",
825
                    "outputs": "",
826
                    "variables": ""
827
                }
828
            },
829
            "Path": "Parallel4_Parallel4/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": 170,
926
                        "Name": "Parallel4_Parallel4/B/B2/B2a",
927
                        "Type": "State"
928
                    },
929
                    "Event": "",
930
                    "Id": 202,
931
                    "TransitionAction": {
932
                        "actions": "",
933
                        "external_fun": "",
934
                        "inputs": "",
935
                        "original_actions": "",
936
                        "outputs": "",
937
                        "variables": ""
938
                    }
939
                },
940
                "States": [
941
                    170,
942
                    171
943
                ],
944
                "Substates": [
945
                    "B2a",
946
                    "B2b"
947
                ],
948
                "Type": "EXCLUSIVE_OR"
949
            },
950
            "Id": 169,
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": 172,
972
                    "Name": "Parallel4_Parallel4/B/B1",
973
                    "Type": "State"
974
                },
975
                "Event": "T",
976
                "Id": 201,
977
                "TransitionAction": {
978
                    "actions": "",
979
                    "external_fun": "",
980
                    "inputs": "",
981
                    "original_actions": "",
982
                    "outputs": "",
983
                    "variables": ""
984
                }
985
            },
986
            "Path": "Parallel4_Parallel4/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": 173,
1083
                        "Name": "Parallel4_Parallel4/B/B1/B1a",
1084
                        "Type": "State"
1085
                    },
1086
                    "Event": "",
1087
                    "Id": 205,
1088
                    "TransitionAction": {
1089
                        "actions": "",
1090
                        "external_fun": "",
1091
                        "inputs": "",
1092
                        "original_actions": "",
1093
                        "outputs": "",
1094
                        "variables": ""
1095
                    }
1096
                },
1097
                "States": [
1098
                    173,
1099
                    174
1100
                ],
1101
                "Substates": [
1102
                    "B1a",
1103
                    "B1b"
1104
                ],
1105
                "Type": "EXCLUSIVE_OR"
1106
            },
1107
            "Id": 172,
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": 169,
1129
                    "Name": "Parallel4_Parallel4/B/B2",
1130
                    "Type": "State"
1131
                },
1132
                "Event": "T",
1133
                "Id": 200,
1134
                "TransitionAction": {
1135
                    "actions": "",
1136
                    "external_fun": "",
1137
                    "inputs": "",
1138
                    "original_actions": "",
1139
                    "outputs": "",
1140
                    "variables": ""
1141
                }
1142
            },
1143
            "Path": "Parallel4_Parallel4/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": 179,
1240
                        "Name": "Parallel4_Parallel4/CD/C/C1",
1241
                        "Type": "State"
1242
                    },
1243
                    "Event": "",
1244
                    "Id": 208,
1245
                    "TransitionAction": {
1246
                        "actions": "",
1247
                        "external_fun": "",
1248
                        "inputs": "",
1249
                        "original_actions": "",
1250
                        "outputs": "",
1251
                        "variables": ""
1252
                    }
1253
                },
1254
                "States": [
1255
                    176,
1256
                    179
1257
                ],
1258
                "Substates": [
1259
                    "C2",
1260
                    "C1"
1261
                ],
1262
                "Type": "EXCLUSIVE_OR"
1263
            },
1264
            "Id": 175,
1265
            "InnerTransitions": [],
1266
            "Name": "C",
1267
            "OuterTransitions": [],
1268
            "Path": "Parallel4_Parallel4/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": 186,
1365
                        "Name": "Parallel4_Parallel4/CD/D/D1",
1366
                        "Type": "State"
1367
                    },
1368
                    "Event": "",
1369
                    "Id": 217,
1370
                    "TransitionAction": {
1371
                        "actions": "",
1372
                        "external_fun": "",
1373
                        "inputs": "",
1374
                        "original_actions": "",
1375
                        "outputs": "",
1376
                        "variables": ""
1377
                    }
1378
                },
1379
                "States": [
1380
                    183,
1381
                    186
1382
                ],
1383
                "Substates": [
1384
                    "D2",
1385
                    "D1"
1386
                ],
1387
                "Type": "EXCLUSIVE_OR"
1388
            },
1389
            "Id": 182,
1390
            "InnerTransitions": [],
1391
            "Name": "D",
1392
            "OuterTransitions": [],
1393
            "Path": "Parallel4_Parallel4/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": 166,
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": 167,
1498
                    "Name": "Parallel4_Parallel4/A/A2/A2b",
1499
                    "Type": "State"
1500
                },
1501
                "Event": "S",
1502
                "Id": 197,
1503
                "TransitionAction": {
1504
                    "actions": "",
1505
                    "external_fun": "",
1506
                    "inputs": "",
1507
                    "original_actions": "",
1508
                    "outputs": "",
1509
                    "variables": ""
1510
                }
1511
            },
1512
            "Path": "Parallel4_Parallel4/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": 167,
1596
            "InnerTransitions": [],
1597
            "Name": "A2b",
1598
            "OuterTransitions": [
1599
                {
1600
                    "Condition": {
1601
                        "actions": "",
1602
                        "external_fun": "",
1603
                        "inputs": "",
1604
                        "original_actions": "",
1605
                        "outputs": "",
1606
                        "variables": ""
1607
                    },
1608
                    "ConditionAction": {
1609
                        "actions": "",
1610
                        "external_fun": "",
1611
                        "inputs": "",
1612
                        "original_actions": "",
1613
                        "outputs": "",
1614
                        "variables": ""
1615
                    },
1616
                    "Destination": {
1617
                        "Id": 177,
1618
                        "Name": "Parallel4_Parallel4/CD/C/C2/C2a",
1619
                        "Type": "State"
1620
                    },
1621
                    "Event": "S",
1622
                    "Id": 234,
1623
                    "TransitionAction": {
1624
                        "actions": "",
1625
                        "external_fun": "",
1626
                        "inputs": "",
1627
                        "original_actions": "",
1628
                        "outputs": "",
1629
                        "variables": ""
1630
                    }
1631
                },
1632
                {
1633
                    "Condition": {
1634
                        "actions": "",
1635
                        "external_fun": "",
1636
                        "inputs": "",
1637
                        "original_actions": "",
1638
                        "outputs": "",
1639
                        "variables": ""
1640
                    },
1641
                    "ConditionAction": {
1642
                        "actions": "",
1643
                        "external_fun": "",
1644
                        "inputs": "",
1645
                        "original_actions": "",
1646
                        "outputs": "",
1647
                        "variables": ""
1648
                    },
1649
                    "Destination": {
1650
                        "Id": 166,
1651
                        "Name": "Parallel4_Parallel4/A/A2/A2a",
1652
                        "Type": "State"
1653
                    },
1654
                    "Event": "R",
1655
                    "Id": 198,
1656
                    "TransitionAction": {
1657
                        "actions": "",
1658
                        "external_fun": "",
1659
                        "inputs": "",
1660
                        "original_actions": "",
1661
                        "outputs": "",
1662
                        "variables": ""
1663
                    }
1664
                }
1665
            ],
1666
            "Path": "Parallel4_Parallel4/A/A2/A2b"
1667
        },
1668
        {
1669
            "Actions": {
1670
                "Bind": {
1671
                    "actions": "",
1672
                    "external_fun": "",
1673
                    "inputs": "",
1674
                    "original_actions": "",
1675
                    "outputs": "",
1676
                    "variables": ""
1677
                },
1678
                "During": {
1679
                    "actions": "",
1680
                    "external_fun": "",
1681
                    "inputs": "",
1682
                    "original_actions": "",
1683
                    "outputs": "",
1684
                    "variables": ""
1685
                },
1686
                "Entry": {
1687
                    "actions": "",
1688
                    "external_fun": "",
1689
                    "inputs": "",
1690
                    "original_actions": "",
1691
                    "outputs": "",
1692
                    "variables": ""
1693
                },
1694
                "Exit": {
1695
                    "actions": "",
1696
                    "external_fun": "",
1697
                    "inputs": "",
1698
                    "original_actions": "",
1699
                    "outputs": "",
1700
                    "variables": ""
1701
                },
1702
                "On": {
1703
                    "actions": "",
1704
                    "external_fun": "",
1705
                    "inputs": "",
1706
                    "original_actions": "",
1707
                    "outputs": "",
1708
                    "variables": ""
1709
                },
1710
                "OnAfter": {
1711
                    "actions": "",
1712
                    "external_fun": "",
1713
                    "inputs": "",
1714
                    "original_actions": "",
1715
                    "outputs": "",
1716
                    "variables": ""
1717
                },
1718
                "OnAt": {
1719
                    "actions": "",
1720
                    "external_fun": "",
1721
                    "inputs": "",
1722
                    "original_actions": "",
1723
                    "outputs": "",
1724
                    "variables": ""
1725
                },
1726
                "OnBefore": {
1727
                    "actions": "",
1728
                    "external_fun": "",
1729
                    "inputs": "",
1730
                    "original_actions": "",
1731
                    "outputs": "",
1732
                    "variables": ""
1733
                },
1734
                "OnEvery": {
1735
                    "actions": "",
1736
                    "external_fun": "",
1737
                    "inputs": "",
1738
                    "original_actions": "",
1739
                    "outputs": "",
1740
                    "variables": ""
1741
                }
1742
            },
1743
            "Composition": {
1744
                "DefaultTransitions": [],
1745
                "States": [],
1746
                "Substates": [],
1747
                "Type": "EXCLUSIVE_OR"
1748
            },
1749
            "Id": 163,
1750
            "InnerTransitions": [],
1751
            "Name": "A1a",
1752
            "OuterTransitions": {
1753
                "Condition": {
1754
                    "actions": "",
1755
                    "external_fun": "",
1756
                    "inputs": "",
1757
                    "original_actions": "",
1758
                    "outputs": "",
1759
                    "variables": ""
1760
                },
1761
                "ConditionAction": {
1762
                    "actions": "",
1763
                    "external_fun": "",
1764
                    "inputs": "",
1765
                    "original_actions": "",
1766
                    "outputs": "",
1767
                    "variables": ""
1768
                },
1769
                "Destination": {
1770
                    "Id": 164,
1771
                    "Name": "Parallel4_Parallel4/A/A1/A1b",
1772
                    "Type": "State"
1773
                },
1774
                "Event": "S",
1775
                "Id": 194,
1776
                "TransitionAction": {
1777
                    "actions": "",
1778
                    "external_fun": "",
1779
                    "inputs": "",
1780
                    "original_actions": "",
1781
                    "outputs": "",
1782
                    "variables": ""
1783
                }
1784
            },
1785
            "Path": "Parallel4_Parallel4/A/A1/A1a"
1786
        },
1787
        {
1788
            "Actions": {
1789
                "Bind": {
1790
                    "actions": "",
1791
                    "external_fun": "",
1792
                    "inputs": "",
1793
                    "original_actions": "",
1794
                    "outputs": "",
1795
                    "variables": ""
1796
                },
1797
                "During": {
1798
                    "actions": "",
1799
                    "external_fun": "",
1800
                    "inputs": "",
1801
                    "original_actions": "",
1802
                    "outputs": "",
1803
                    "variables": ""
1804
                },
1805
                "Entry": {
1806
                    "actions": "",
1807
                    "external_fun": "",
1808
                    "inputs": "",
1809
                    "original_actions": "",
1810
                    "outputs": "",
1811
                    "variables": ""
1812
                },
1813
                "Exit": {
1814
                    "actions": "",
1815
                    "external_fun": "",
1816
                    "inputs": "",
1817
                    "original_actions": "",
1818
                    "outputs": "",
1819
                    "variables": ""
1820
                },
1821
                "On": {
1822
                    "actions": "",
1823
                    "external_fun": "",
1824
                    "inputs": "",
1825
                    "original_actions": "",
1826
                    "outputs": "",
1827
                    "variables": ""
1828
                },
1829
                "OnAfter": {
1830
                    "actions": "",
1831
                    "external_fun": "",
1832
                    "inputs": "",
1833
                    "original_actions": "",
1834
                    "outputs": "",
1835
                    "variables": ""
1836
                },
1837
                "OnAt": {
1838
                    "actions": "",
1839
                    "external_fun": "",
1840
                    "inputs": "",
1841
                    "original_actions": "",
1842
                    "outputs": "",
1843
                    "variables": ""
1844
                },
1845
                "OnBefore": {
1846
                    "actions": "",
1847
                    "external_fun": "",
1848
                    "inputs": "",
1849
                    "original_actions": "",
1850
                    "outputs": "",
1851
                    "variables": ""
1852
                },
1853
                "OnEvery": {
1854
                    "actions": "",
1855
                    "external_fun": "",
1856
                    "inputs": "",
1857
                    "original_actions": "",
1858
                    "outputs": "",
1859
                    "variables": ""
1860
                }
1861
            },
1862
            "Composition": {
1863
                "DefaultTransitions": [],
1864
                "States": [],
1865
                "Substates": [],
1866
                "Type": "EXCLUSIVE_OR"
1867
            },
1868
            "Id": 164,
1869
            "InnerTransitions": [],
1870
            "Name": "A1b",
1871
            "OuterTransitions": {
1872
                "Condition": {
1873
                    "actions": "",
1874
                    "external_fun": "",
1875
                    "inputs": "",
1876
                    "original_actions": "",
1877
                    "outputs": "",
1878
                    "variables": ""
1879
                },
1880
                "ConditionAction": {
1881
                    "actions": "",
1882
                    "external_fun": "",
1883
                    "inputs": "",
1884
                    "original_actions": "",
1885
                    "outputs": "",
1886
                    "variables": ""
1887
                },
1888
                "Destination": {
1889
                    "Id": 163,
1890
                    "Name": "Parallel4_Parallel4/A/A1/A1a",
1891
                    "Type": "State"
1892
                },
1893
                "Event": "R",
1894
                "Id": 195,
1895
                "TransitionAction": {
1896
                    "actions": "",
1897
                    "external_fun": "",
1898
                    "inputs": "",
1899
                    "original_actions": "",
1900
                    "outputs": "",
1901
                    "variables": ""
1902
                }
1903
            },
1904
            "Path": "Parallel4_Parallel4/A/A1/A1b"
1905
        },
1906
        {
1907
            "Actions": {
1908
                "Bind": {
1909
                    "actions": "",
1910
                    "external_fun": "",
1911
                    "inputs": "",
1912
                    "original_actions": "",
1913
                    "outputs": "",
1914
                    "variables": ""
1915
                },
1916
                "During": {
1917
                    "actions": "",
1918
                    "external_fun": "",
1919
                    "inputs": "",
1920
                    "original_actions": "",
1921
                    "outputs": "",
1922
                    "variables": ""
1923
                },
1924
                "Entry": {
1925
                    "actions": "",
1926
                    "external_fun": "",
1927
                    "inputs": "",
1928
                    "original_actions": "",
1929
                    "outputs": "",
1930
                    "variables": ""
1931
                },
1932
                "Exit": {
1933
                    "actions": "",
1934
                    "external_fun": "",
1935
                    "inputs": "",
1936
                    "original_actions": "",
1937
                    "outputs": "",
1938
                    "variables": ""
1939
                },
1940
                "On": {
1941
                    "actions": "",
1942
                    "external_fun": "",
1943
                    "inputs": "",
1944
                    "original_actions": "",
1945
                    "outputs": "",
1946
                    "variables": ""
1947
                },
1948
                "OnAfter": {
1949
                    "actions": "",
1950
                    "external_fun": "",
1951
                    "inputs": "",
1952
                    "original_actions": "",
1953
                    "outputs": "",
1954
                    "variables": ""
1955
                },
1956
                "OnAt": {
1957
                    "actions": "",
1958
                    "external_fun": "",
1959
                    "inputs": "",
1960
                    "original_actions": "",
1961
                    "outputs": "",
1962
                    "variables": ""
1963
                },
1964
                "OnBefore": {
1965
                    "actions": "",
1966
                    "external_fun": "",
1967
                    "inputs": "",
1968
                    "original_actions": "",
1969
                    "outputs": "",
1970
                    "variables": ""
1971
                },
1972
                "OnEvery": {
1973
                    "actions": "",
1974
                    "external_fun": "",
1975
                    "inputs": "",
1976
                    "original_actions": "",
1977
                    "outputs": "",
1978
                    "variables": ""
1979
                }
1980
            },
1981
            "Composition": {
1982
                "DefaultTransitions": [],
1983
                "States": [],
1984
                "Substates": [],
1985
                "Type": "EXCLUSIVE_OR"
1986
            },
1987
            "Id": 170,
1988
            "InnerTransitions": [],
1989
            "Name": "B2a",
1990
            "OuterTransitions": {
1991
                "Condition": {
1992
                    "actions": "",
1993
                    "external_fun": "",
1994
                    "inputs": "",
1995
                    "original_actions": "",
1996
                    "outputs": "",
1997
                    "variables": ""
1998
                },
1999
                "ConditionAction": {
2000
                    "actions": "",
2001
                    "external_fun": "",
2002
                    "inputs": "",
2003
                    "original_actions": "",
2004
                    "outputs": "",
2005
                    "variables": ""
2006
                },
2007
                "Destination": {
2008
                    "Id": 171,
2009
                    "Name": "Parallel4_Parallel4/B/B2/B2b",
2010
                    "Type": "State"
2011
                },
2012
                "Event": "S",
2013
                "Id": 203,
2014
                "TransitionAction": {
2015
                    "actions": "",
2016
                    "external_fun": "",
2017
                    "inputs": "",
2018
                    "original_actions": "",
2019
                    "outputs": "",
2020
                    "variables": ""
2021
                }
2022
            },
2023
            "Path": "Parallel4_Parallel4/B/B2/B2a"
2024
        },
2025
        {
2026
            "Actions": {
2027
                "Bind": {
2028
                    "actions": "",
2029
                    "external_fun": "",
2030
                    "inputs": "",
2031
                    "original_actions": "",
2032
                    "outputs": "",
2033
                    "variables": ""
2034
                },
2035
                "During": {
2036
                    "actions": "",
2037
                    "external_fun": "",
2038
                    "inputs": "",
2039
                    "original_actions": "",
2040
                    "outputs": "",
2041
                    "variables": ""
2042
                },
2043
                "Entry": {
2044
                    "actions": "",
2045
                    "external_fun": "",
2046
                    "inputs": "",
2047
                    "original_actions": "",
2048
                    "outputs": "",
2049
                    "variables": ""
2050
                },
2051
                "Exit": {
2052
                    "actions": "",
2053
                    "external_fun": "",
2054
                    "inputs": "",
2055
                    "original_actions": "",
2056
                    "outputs": "",
2057
                    "variables": ""
2058
                },
2059
                "On": {
2060
                    "actions": "",
2061
                    "external_fun": "",
2062
                    "inputs": "",
2063
                    "original_actions": "",
2064
                    "outputs": "",
2065
                    "variables": ""
2066
                },
2067
                "OnAfter": {
2068
                    "actions": "",
2069
                    "external_fun": "",
2070
                    "inputs": "",
2071
                    "original_actions": "",
2072
                    "outputs": "",
2073
                    "variables": ""
2074
                },
2075
                "OnAt": {
2076
                    "actions": "",
2077
                    "external_fun": "",
2078
                    "inputs": "",
2079
                    "original_actions": "",
2080
                    "outputs": "",
2081
                    "variables": ""
2082
                },
2083
                "OnBefore": {
2084
                    "actions": "",
2085
                    "external_fun": "",
2086
                    "inputs": "",
2087
                    "original_actions": "",
2088
                    "outputs": "",
2089
                    "variables": ""
2090
                },
2091
                "OnEvery": {
2092
                    "actions": "",
2093
                    "external_fun": "",
2094
                    "inputs": "",
2095
                    "original_actions": "",
2096
                    "outputs": "",
2097
                    "variables": ""
2098
                }
2099
            },
2100
            "Composition": {
2101
                "DefaultTransitions": [],
2102
                "States": [],
2103
                "Substates": [],
2104
                "Type": "EXCLUSIVE_OR"
2105
            },
2106
            "Id": 171,
2107
            "InnerTransitions": [],
2108
            "Name": "B2b",
2109
            "OuterTransitions": {
2110
                "Condition": {
2111
                    "actions": "",
2112
                    "external_fun": "",
2113
                    "inputs": "",
2114
                    "original_actions": "",
2115
                    "outputs": "",
2116
                    "variables": ""
2117
                },
2118
                "ConditionAction": {
2119
                    "actions": "",
2120
                    "external_fun": "",
2121
                    "inputs": "",
2122
                    "original_actions": "",
2123
                    "outputs": "",
2124
                    "variables": ""
2125
                },
2126
                "Destination": {
2127
                    "Id": 170,
2128
                    "Name": "Parallel4_Parallel4/B/B2/B2a",
2129
                    "Type": "State"
2130
                },
2131
                "Event": "R",
2132
                "Id": 204,
2133
                "TransitionAction": {
2134
                    "actions": "",
2135
                    "external_fun": "",
2136
                    "inputs": "",
2137
                    "original_actions": "",
2138
                    "outputs": "",
2139
                    "variables": ""
2140
                }
2141
            },
2142
            "Path": "Parallel4_Parallel4/B/B2/B2b"
2143
        },
2144
        {
2145
            "Actions": {
2146
                "Bind": {
2147
                    "actions": "",
2148
                    "external_fun": "",
2149
                    "inputs": "",
2150
                    "original_actions": "",
2151
                    "outputs": "",
2152
                    "variables": ""
2153
                },
2154
                "During": {
2155
                    "actions": "",
2156
                    "external_fun": "",
2157
                    "inputs": "",
2158
                    "original_actions": "",
2159
                    "outputs": "",
2160
                    "variables": ""
2161
                },
2162
                "Entry": {
2163
                    "actions": "",
2164
                    "external_fun": "",
2165
                    "inputs": "",
2166
                    "original_actions": "",
2167
                    "outputs": "",
2168
                    "variables": ""
2169
                },
2170
                "Exit": {
2171
                    "actions": "",
2172
                    "external_fun": "",
2173
                    "inputs": "",
2174
                    "original_actions": "",
2175
                    "outputs": "",
2176
                    "variables": ""
2177
                },
2178
                "On": {
2179
                    "actions": "",
2180
                    "external_fun": "",
2181
                    "inputs": "",
2182
                    "original_actions": "",
2183
                    "outputs": "",
2184
                    "variables": ""
2185
                },
2186
                "OnAfter": {
2187
                    "actions": "",
2188
                    "external_fun": "",
2189
                    "inputs": "",
2190
                    "original_actions": "",
2191
                    "outputs": "",
2192
                    "variables": ""
2193
                },
2194
                "OnAt": {
2195
                    "actions": "",
2196
                    "external_fun": "",
2197
                    "inputs": "",
2198
                    "original_actions": "",
2199
                    "outputs": "",
2200
                    "variables": ""
2201
                },
2202
                "OnBefore": {
2203
                    "actions": "",
2204
                    "external_fun": "",
2205
                    "inputs": "",
2206
                    "original_actions": "",
2207
                    "outputs": "",
2208
                    "variables": ""
2209
                },
2210
                "OnEvery": {
2211
                    "actions": "",
2212
                    "external_fun": "",
2213
                    "inputs": "",
2214
                    "original_actions": "",
2215
                    "outputs": "",
2216
                    "variables": ""
2217
                }
2218
            },
2219
            "Composition": {
2220
                "DefaultTransitions": [],
2221
                "States": [],
2222
                "Substates": [],
2223
                "Type": "EXCLUSIVE_OR"
2224
            },
2225
            "Id": 173,
2226
            "InnerTransitions": [],
2227
            "Name": "B1a",
2228
            "OuterTransitions": {
2229
                "Condition": {
2230
                    "actions": "",
2231
                    "external_fun": "",
2232
                    "inputs": "",
2233
                    "original_actions": "",
2234
                    "outputs": "",
2235
                    "variables": ""
2236
                },
2237
                "ConditionAction": {
2238
                    "actions": "",
2239
                    "external_fun": "",
2240
                    "inputs": "",
2241
                    "original_actions": "",
2242
                    "outputs": "",
2243
                    "variables": ""
2244
                },
2245
                "Destination": {
2246
                    "Id": 174,
2247
                    "Name": "Parallel4_Parallel4/B/B1/B1b",
2248
                    "Type": "State"
2249
                },
2250
                "Event": "S",
2251
                "Id": 206,
2252
                "TransitionAction": {
2253
                    "actions": "",
2254
                    "external_fun": "",
2255
                    "inputs": "",
2256
                    "original_actions": "",
2257
                    "outputs": "",
2258
                    "variables": ""
2259
                }
2260
            },
2261
            "Path": "Parallel4_Parallel4/B/B1/B1a"
2262
        },
2263
        {
2264
            "Actions": {
2265
                "Bind": {
2266
                    "actions": "",
2267
                    "external_fun": "",
2268
                    "inputs": "",
2269
                    "original_actions": "",
2270
                    "outputs": "",
2271
                    "variables": ""
2272
                },
2273
                "During": {
2274
                    "actions": "",
2275
                    "external_fun": "",
2276
                    "inputs": "",
2277
                    "original_actions": "",
2278
                    "outputs": "",
2279
                    "variables": ""
2280
                },
2281
                "Entry": {
2282
                    "actions": "",
2283
                    "external_fun": "",
2284
                    "inputs": "",
2285
                    "original_actions": "",
2286
                    "outputs": "",
2287
                    "variables": ""
2288
                },
2289
                "Exit": {
2290
                    "actions": "",
2291
                    "external_fun": "",
2292
                    "inputs": "",
2293
                    "original_actions": "",
2294
                    "outputs": "",
2295
                    "variables": ""
2296
                },
2297
                "On": {
2298
                    "actions": "",
2299
                    "external_fun": "",
2300
                    "inputs": "",
2301
                    "original_actions": "",
2302
                    "outputs": "",
2303
                    "variables": ""
2304
                },
2305
                "OnAfter": {
2306
                    "actions": "",
2307
                    "external_fun": "",
2308
                    "inputs": "",
2309
                    "original_actions": "",
2310
                    "outputs": "",
2311
                    "variables": ""
2312
                },
2313
                "OnAt": {
2314
                    "actions": "",
2315
                    "external_fun": "",
2316
                    "inputs": "",
2317
                    "original_actions": "",
2318
                    "outputs": "",
2319
                    "variables": ""
2320
                },
2321
                "OnBefore": {
2322
                    "actions": "",
2323
                    "external_fun": "",
2324
                    "inputs": "",
2325
                    "original_actions": "",
2326
                    "outputs": "",
2327
                    "variables": ""
2328
                },
2329
                "OnEvery": {
2330
                    "actions": "",
2331
                    "external_fun": "",
2332
                    "inputs": "",
2333
                    "original_actions": "",
2334
                    "outputs": "",
2335
                    "variables": ""
2336
                }
2337
            },
2338
            "Composition": {
2339
                "DefaultTransitions": [],
2340
                "States": [],
2341
                "Substates": [],
2342
                "Type": "EXCLUSIVE_OR"
2343
            },
2344
            "Id": 174,
2345
            "InnerTransitions": [],
2346
            "Name": "B1b",
2347
            "OuterTransitions": {
2348
                "Condition": {
2349
                    "actions": "",
2350
                    "external_fun": "",
2351
                    "inputs": "",
2352
                    "original_actions": "",
2353
                    "outputs": "",
2354
                    "variables": ""
2355
                },
2356
                "ConditionAction": {
2357
                    "actions": "",
2358
                    "external_fun": "",
2359
                    "inputs": "",
2360
                    "original_actions": "",
2361
                    "outputs": "",
2362
                    "variables": ""
2363
                },
2364
                "Destination": {
2365
                    "Id": 173,
2366
                    "Name": "Parallel4_Parallel4/B/B1/B1a",
2367
                    "Type": "State"
2368
                },
2369
                "Event": "R",
2370
                "Id": 207,
2371
                "TransitionAction": {
2372
                    "actions": "",
2373
                    "external_fun": "",
2374
                    "inputs": "",
2375
                    "original_actions": "",
2376
                    "outputs": "",
2377
                    "variables": ""
2378
                }
2379
            },
2380
            "Path": "Parallel4_Parallel4/B/B1/B1b"
2381
        },
2382
        {
2383
            "Actions": {
2384
                "Bind": {
2385
                    "actions": "",
2386
                    "external_fun": "",
2387
                    "inputs": "",
2388
                    "original_actions": "",
2389
                    "outputs": "",
2390
                    "variables": ""
2391
                },
2392
                "During": {
2393
                    "actions": "",
2394
                    "external_fun": "",
2395
                    "inputs": "",
2396
                    "original_actions": "",
2397
                    "outputs": "",
2398
                    "variables": ""
2399
                },
2400
                "Entry": {
2401
                    "actions": "",
2402
                    "external_fun": "",
2403
                    "inputs": "",
2404
                    "original_actions": "",
2405
                    "outputs": "",
2406
                    "variables": ""
2407
                },
2408
                "Exit": {
2409
                    "actions": "",
2410
                    "external_fun": "",
2411
                    "inputs": "",
2412
                    "original_actions": "",
2413
                    "outputs": "",
2414
                    "variables": ""
2415
                },
2416
                "On": {
2417
                    "actions": "",
2418
                    "external_fun": "",
2419
                    "inputs": "",
2420
                    "original_actions": "",
2421
                    "outputs": "",
2422
                    "variables": ""
2423
                },
2424
                "OnAfter": {
2425
                    "actions": "",
2426
                    "external_fun": "",
2427
                    "inputs": "",
2428
                    "original_actions": "",
2429
                    "outputs": "",
2430
                    "variables": ""
2431
                },
2432
                "OnAt": {
2433
                    "actions": "",
2434
                    "external_fun": "",
2435
                    "inputs": "",
2436
                    "original_actions": "",
2437
                    "outputs": "",
2438
                    "variables": ""
2439
                },
2440
                "OnBefore": {
2441
                    "actions": "",
2442
                    "external_fun": "",
2443
                    "inputs": "",
2444
                    "original_actions": "",
2445
                    "outputs": "",
2446
                    "variables": ""
2447
                },
2448
                "OnEvery": {
2449
                    "actions": "",
2450
                    "external_fun": "",
2451
                    "inputs": "",
2452
                    "original_actions": "",
2453
                    "outputs": "",
2454
                    "variables": ""
2455
                }
2456
            },
2457
            "Composition": {
2458
                "DefaultTransitions": {
2459
                    "Condition": {
2460
                        "actions": "",
2461
                        "external_fun": "",
2462
                        "inputs": "",
2463
                        "original_actions": "",
2464
                        "outputs": "",
2465
                        "variables": ""
2466
                    },
2467
                    "ConditionAction": {
2468
                        "actions": "",
2469
                        "external_fun": "",
2470
                        "inputs": "",
2471
                        "original_actions": "",
2472
                        "outputs": "",
2473
                        "variables": ""
2474
                    },
2475
                    "Destination": {
2476
                        "Id": 177,
2477
                        "Name": "Parallel4_Parallel4/CD/C/C2/C2a",
2478
                        "Type": "State"
2479
                    },
2480
                    "Event": "",
2481
                    "Id": 211,
2482
                    "TransitionAction": {
2483
                        "actions": "",
2484
                        "external_fun": "",
2485
                        "inputs": "",
2486
                        "original_actions": "",
2487
                        "outputs": "",
2488
                        "variables": ""
2489
                    }
2490
                },
2491
                "States": [
2492
                    177,
2493
                    178
2494
                ],
2495
                "Substates": [
2496
                    "C2a",
2497
                    "C2b"
2498
                ],
2499
                "Type": "EXCLUSIVE_OR"
2500
            },
2501
            "Id": 176,
2502
            "InnerTransitions": [],
2503
            "Name": "C2",
2504
            "OuterTransitions": {
2505
                "Condition": {
2506
                    "actions": "",
2507
                    "external_fun": "",
2508
                    "inputs": "",
2509
                    "original_actions": "",
2510
                    "outputs": "",
2511
                    "variables": ""
2512
                },
2513
                "ConditionAction": {
2514
                    "actions": "",
2515
                    "external_fun": "",
2516
                    "inputs": "",
2517
                    "original_actions": "",
2518
                    "outputs": "",
2519
                    "variables": ""
2520
                },
2521
                "Destination": {
2522
                    "Id": 179,
2523
                    "Name": "Parallel4_Parallel4/CD/C/C1",
2524
                    "Type": "State"
2525
                },
2526
                "Event": "T",
2527
                "Id": 210,
2528
                "TransitionAction": {
2529
                    "actions": "",
2530
                    "external_fun": "",
2531
                    "inputs": "",
2532
                    "original_actions": "",
2533
                    "outputs": "",
2534
                    "variables": ""
2535
                }
2536
            },
2537
            "Path": "Parallel4_Parallel4/CD/C/C2"
2538
        },
2539
        {
2540
            "Actions": {
2541
                "Bind": {
2542
                    "actions": "",
2543
                    "external_fun": "",
2544
                    "inputs": "",
2545
                    "original_actions": "",
2546
                    "outputs": "",
2547
                    "variables": ""
2548
                },
2549
                "During": {
2550
                    "actions": "",
2551
                    "external_fun": "",
2552
                    "inputs": "",
2553
                    "original_actions": "",
2554
                    "outputs": "",
2555
                    "variables": ""
2556
                },
2557
                "Entry": {
2558
                    "actions": "",
2559
                    "external_fun": "",
2560
                    "inputs": "",
2561
                    "original_actions": "",
2562
                    "outputs": "",
2563
                    "variables": ""
2564
                },
2565
                "Exit": {
2566
                    "actions": "",
2567
                    "external_fun": "",
2568
                    "inputs": "",
2569
                    "original_actions": "",
2570
                    "outputs": "",
2571
                    "variables": ""
2572
                },
2573
                "On": {
2574
                    "actions": "",
2575
                    "external_fun": "",
2576
                    "inputs": "",
2577
                    "original_actions": "",
2578
                    "outputs": "",
2579
                    "variables": ""
2580
                },
2581
                "OnAfter": {
2582
                    "actions": "",
2583
                    "external_fun": "",
2584
                    "inputs": "",
2585
                    "original_actions": "",
2586
                    "outputs": "",
2587
                    "variables": ""
2588
                },
2589
                "OnAt": {
2590
                    "actions": "",
2591
                    "external_fun": "",
2592
                    "inputs": "",
2593
                    "original_actions": "",
2594
                    "outputs": "",
2595
                    "variables": ""
2596
                },
2597
                "OnBefore": {
2598
                    "actions": "",
2599
                    "external_fun": "",
2600
                    "inputs": "",
2601
                    "original_actions": "",
2602
                    "outputs": "",
2603
                    "variables": ""
2604
                },
2605
                "OnEvery": {
2606
                    "actions": "",
2607
                    "external_fun": "",
2608
                    "inputs": "",
2609
                    "original_actions": "",
2610
                    "outputs": "",
2611
                    "variables": ""
2612
                }
2613
            },
2614
            "Composition": {
2615
                "DefaultTransitions": {
2616
                    "Condition": {
2617
                        "actions": "",
2618
                        "external_fun": "",
2619
                        "inputs": "",
2620
                        "original_actions": "",
2621
                        "outputs": "",
2622
                        "variables": ""
2623
                    },
2624
                    "ConditionAction": {
2625
                        "actions": "",
2626
                        "external_fun": "",
2627
                        "inputs": "",
2628
                        "original_actions": "",
2629
                        "outputs": "",
2630
                        "variables": ""
2631
                    },
2632
                    "Destination": {
2633
                        "Id": 180,
2634
                        "Name": "Parallel4_Parallel4/CD/C/C1/C1a",
2635
                        "Type": "State"
2636
                    },
2637
                    "Event": "",
2638
                    "Id": 214,
2639
                    "TransitionAction": {
2640
                        "actions": "",
2641
                        "external_fun": "",
2642
                        "inputs": "",
2643
                        "original_actions": "",
2644
                        "outputs": "",
2645
                        "variables": ""
2646
                    }
2647
                },
2648
                "States": [
2649
                    180,
2650
                    181
2651
                ],
2652
                "Substates": [
2653
                    "C1a",
2654
                    "C1b"
2655
                ],
2656
                "Type": "EXCLUSIVE_OR"
2657
            },
2658
            "Id": 179,
2659
            "InnerTransitions": [],
2660
            "Name": "C1",
2661
            "OuterTransitions": {
2662
                "Condition": {
2663
                    "actions": "",
2664
                    "external_fun": "",
2665
                    "inputs": "",
2666
                    "original_actions": "",
2667
                    "outputs": "",
2668
                    "variables": ""
2669
                },
2670
                "ConditionAction": {
2671
                    "actions": "",
2672
                    "external_fun": "",
2673
                    "inputs": "",
2674
                    "original_actions": "",
2675
                    "outputs": "",
2676
                    "variables": ""
2677
                },
2678
                "Destination": {
2679
                    "Id": 176,
2680
                    "Name": "Parallel4_Parallel4/CD/C/C2",
2681
                    "Type": "State"
2682
                },
2683
                "Event": "T",
2684
                "Id": 209,
2685
                "TransitionAction": {
2686
                    "actions": "",
2687
                    "external_fun": "",
2688
                    "inputs": "",
2689
                    "original_actions": "",
2690
                    "outputs": "",
2691
                    "variables": ""
2692
                }
2693
            },
2694
            "Path": "Parallel4_Parallel4/CD/C/C1"
2695
        },
2696
        {
2697
            "Actions": {
2698
                "Bind": {
2699
                    "actions": "",
2700
                    "external_fun": "",
2701
                    "inputs": "",
2702
                    "original_actions": "",
2703
                    "outputs": "",
2704
                    "variables": ""
2705
                },
2706
                "During": {
2707
                    "actions": "",
2708
                    "external_fun": "",
2709
                    "inputs": "",
2710
                    "original_actions": "",
2711
                    "outputs": "",
2712
                    "variables": ""
2713
                },
2714
                "Entry": {
2715
                    "actions": "",
2716
                    "external_fun": "",
2717
                    "inputs": "",
2718
                    "original_actions": "",
2719
                    "outputs": "",
2720
                    "variables": ""
2721
                },
2722
                "Exit": {
2723
                    "actions": "",
2724
                    "external_fun": "",
2725
                    "inputs": "",
2726
                    "original_actions": "",
2727
                    "outputs": "",
2728
                    "variables": ""
2729
                },
2730
                "On": {
2731
                    "actions": "",
2732
                    "external_fun": "",
2733
                    "inputs": "",
2734
                    "original_actions": "",
2735
                    "outputs": "",
2736
                    "variables": ""
2737
                },
2738
                "OnAfter": {
2739
                    "actions": "",
2740
                    "external_fun": "",
2741
                    "inputs": "",
2742
                    "original_actions": "",
2743
                    "outputs": "",
2744
                    "variables": ""
2745
                },
2746
                "OnAt": {
2747
                    "actions": "",
2748
                    "external_fun": "",
2749
                    "inputs": "",
2750
                    "original_actions": "",
2751
                    "outputs": "",
2752
                    "variables": ""
2753
                },
2754
                "OnBefore": {
2755
                    "actions": "",
2756
                    "external_fun": "",
2757
                    "inputs": "",
2758
                    "original_actions": "",
2759
                    "outputs": "",
2760
                    "variables": ""
2761
                },
2762
                "OnEvery": {
2763
                    "actions": "",
2764
                    "external_fun": "",
2765
                    "inputs": "",
2766
                    "original_actions": "",
2767
                    "outputs": "",
2768
                    "variables": ""
2769
                }
2770
            },
2771
            "Composition": {
2772
                "DefaultTransitions": {
2773
                    "Condition": {
2774
                        "actions": "",
2775
                        "external_fun": "",
2776
                        "inputs": "",
2777
                        "original_actions": "",
2778
                        "outputs": "",
2779
                        "variables": ""
2780
                    },
2781
                    "ConditionAction": {
2782
                        "actions": "",
2783
                        "external_fun": "",
2784
                        "inputs": "",
2785
                        "original_actions": "",
2786
                        "outputs": "",
2787
                        "variables": ""
2788
                    },
2789
                    "Destination": {
2790
                        "Id": 184,
2791
                        "Name": "Parallel4_Parallel4/CD/D/D2/D2a",
2792
                        "Type": "State"
2793
                    },
2794
                    "Event": "",
2795
                    "Id": 220,
2796
                    "TransitionAction": {
2797
                        "actions": "",
2798
                        "external_fun": "",
2799
                        "inputs": "",
2800
                        "original_actions": "",
2801
                        "outputs": "",
2802
                        "variables": ""
2803
                    }
2804
                },
2805
                "States": [
2806
                    184,
2807
                    185
2808
                ],
2809
                "Substates": [
2810
                    "D2a",
2811
                    "D2b"
2812
                ],
2813
                "Type": "EXCLUSIVE_OR"
2814
            },
2815
            "Id": 183,
2816
            "InnerTransitions": [],
2817
            "Name": "D2",
2818
            "OuterTransitions": {
2819
                "Condition": {
2820
                    "actions": "",
2821
                    "external_fun": "",
2822
                    "inputs": "",
2823
                    "original_actions": "",
2824
                    "outputs": "",
2825
                    "variables": ""
2826
                },
2827
                "ConditionAction": {
2828
                    "actions": "",
2829
                    "external_fun": "",
2830
                    "inputs": "",
2831
                    "original_actions": "",
2832
                    "outputs": "",
2833
                    "variables": ""
2834
                },
2835
                "Destination": {
2836
                    "Id": 186,
2837
                    "Name": "Parallel4_Parallel4/CD/D/D1",
2838
                    "Type": "State"
2839
                },
2840
                "Event": "T",
2841
                "Id": 219,
2842
                "TransitionAction": {
2843
                    "actions": "",
2844
                    "external_fun": "",
2845
                    "inputs": "",
2846
                    "original_actions": "",
2847
                    "outputs": "",
2848
                    "variables": ""
2849
                }
2850
            },
2851
            "Path": "Parallel4_Parallel4/CD/D/D2"
2852
        },
2853
        {
2854
            "Actions": {
2855
                "Bind": {
2856
                    "actions": "",
2857
                    "external_fun": "",
2858
                    "inputs": "",
2859
                    "original_actions": "",
2860
                    "outputs": "",
2861
                    "variables": ""
2862
                },
2863
                "During": {
2864
                    "actions": "",
2865
                    "external_fun": "",
2866
                    "inputs": "",
2867
                    "original_actions": "",
2868
                    "outputs": "",
2869
                    "variables": ""
2870
                },
2871
                "Entry": {
2872
                    "actions": "",
2873
                    "external_fun": "",
2874
                    "inputs": "",
2875
                    "original_actions": "",
2876
                    "outputs": "",
2877
                    "variables": ""
2878
                },
2879
                "Exit": {
2880
                    "actions": "",
2881
                    "external_fun": "",
2882
                    "inputs": "",
2883
                    "original_actions": "",
2884
                    "outputs": "",
2885
                    "variables": ""
2886
                },
2887
                "On": {
2888
                    "actions": "",
2889
                    "external_fun": "",
2890
                    "inputs": "",
2891
                    "original_actions": "",
2892
                    "outputs": "",
2893
                    "variables": ""
2894
                },
2895
                "OnAfter": {
2896
                    "actions": "",
2897
                    "external_fun": "",
2898
                    "inputs": "",
2899
                    "original_actions": "",
2900
                    "outputs": "",
2901
                    "variables": ""
2902
                },
2903
                "OnAt": {
2904
                    "actions": "",
2905
                    "external_fun": "",
2906
                    "inputs": "",
2907
                    "original_actions": "",
2908
                    "outputs": "",
2909
                    "variables": ""
2910
                },
2911
                "OnBefore": {
2912
                    "actions": "",
2913
                    "external_fun": "",
2914
                    "inputs": "",
2915
                    "original_actions": "",
2916
                    "outputs": "",
2917
                    "variables": ""
2918
                },
2919
                "OnEvery": {
2920
                    "actions": "",
2921
                    "external_fun": "",
2922
                    "inputs": "",
2923
                    "original_actions": "",
2924
                    "outputs": "",
2925
                    "variables": ""
2926
                }
2927
            },
2928
            "Composition": {
2929
                "DefaultTransitions": {
2930
                    "Condition": {
2931
                        "actions": "",
2932
                        "external_fun": "",
2933
                        "inputs": "",
2934
                        "original_actions": "",
2935
                        "outputs": "",
2936
                        "variables": ""
2937
                    },
2938
                    "ConditionAction": {
2939
                        "actions": "",
2940
                        "external_fun": "",
2941
                        "inputs": "",
2942
                        "original_actions": "",
2943
                        "outputs": "",
2944
                        "variables": ""
2945
                    },
2946
                    "Destination": {
2947
                        "Id": 187,
2948
                        "Name": "Parallel4_Parallel4/CD/D/D1/D1a",
2949
                        "Type": "State"
2950
                    },
2951
                    "Event": "",
2952
                    "Id": 223,
2953
                    "TransitionAction": {
2954
                        "actions": "",
2955
                        "external_fun": "",
2956
                        "inputs": "",
2957
                        "original_actions": "",
2958
                        "outputs": "",
2959
                        "variables": ""
2960
                    }
2961
                },
2962
                "States