Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (35.1 KB)

1
{
2
    "Data": [
3
        {
4
            "ArraySize": "",
5
            "CompiledType": "unknown",
6
            "Datatype": "int",
7
            "Id": 484,
8
            "InitialValue": "0",
9
            "Name": "durA",
10
            "Port": 1,
11
            "Scope": "Output"
12
        },
13
        {
14
            "ArraySize": "",
15
            "CompiledType": "unknown",
16
            "Datatype": "int",
17
            "Id": 485,
18
            "InitialValue": "0",
19
            "Name": "durA0",
20
            "Port": 2,
21
            "Scope": "Output"
22
        },
23
        {
24
            "ArraySize": "",
25
            "CompiledType": "unknown",
26
            "Datatype": "int",
27
            "Id": 486,
28
            "InitialValue": "0",
29
            "Name": "durB",
30
            "Port": 3,
31
            "Scope": "Output"
32
        },
33
        {
34
            "ArraySize": "",
35
            "CompiledType": "unknown",
36
            "Datatype": "int",
37
            "Id": 487,
38
            "InitialValue": "0",
39
            "Name": "durB1",
40
            "Port": 4,
41
            "Scope": "Output"
42
        },
43
        {
44
            "ArraySize": "",
45
            "CompiledType": "unknown",
46
            "Datatype": "int",
47
            "Id": 488,
48
            "InitialValue": "0",
49
            "Name": "enA",
50
            "Port": 5,
51
            "Scope": "Output"
52
        },
53
        {
54
            "ArraySize": "",
55
            "CompiledType": "unknown",
56
            "Datatype": "int",
57
            "Id": 489,
58
            "InitialValue": "0",
59
            "Name": "enA0",
60
            "Port": 6,
61
            "Scope": "Output"
62
        },
63
        {
64
            "ArraySize": "",
65
            "CompiledType": "unknown",
66
            "Datatype": "int",
67
            "Id": 490,
68
            "InitialValue": "0",
69
            "Name": "enB",
70
            "Port": 7,
71
            "Scope": "Output"
72
        },
73
        {
74
            "ArraySize": "",
75
            "CompiledType": "unknown",
76
            "Datatype": "int",
77
            "Id": 491,
78
            "InitialValue": "0",
79
            "Name": "enB1",
80
            "Port": 8,
81
            "Scope": "Output"
82
        },
83
        {
84
            "ArraySize": "",
85
            "CompiledType": "unknown",
86
            "Datatype": "int",
87
            "Id": 492,
88
            "InitialValue": "0",
89
            "Name": "exA",
90
            "Port": 9,
91
            "Scope": "Output"
92
        },
93
        {
94
            "ArraySize": "",
95
            "CompiledType": "unknown",
96
            "Datatype": "int",
97
            "Id": 493,
98
            "InitialValue": "0",
99
            "Name": "exA0",
100
            "Port": 10,
101
            "Scope": "Output"
102
        },
103
        {
104
            "ArraySize": "",
105
            "CompiledType": "unknown",
106
            "Datatype": "int",
107
            "Id": 494,
108
            "InitialValue": "0",
109
            "Name": "exB",
110
            "Port": 11,
111
            "Scope": "Output"
112
        },
113
        {
114
            "ArraySize": "",
115
            "CompiledType": "unknown",
116
            "Datatype": "int",
117
            "Id": 495,
118
            "InitialValue": "0",
119
            "Name": "exB1",
120
            "Port": 12,
121
            "Scope": "Output"
122
        }
123
    ],
124
    "Events": [
125
        {
126
            "Id": 496,
127
            "Name": "E",
128
            "Port": 1,
129
            "Scope": "Input"
130
        },
131
        {
132
            "Id": 497,
133
            "Name": "F",
134
            "Port": 2,
135
            "Scope": "Input"
136
        }
137
    ],
138
    "GraphicalFunctions": [],
139
    "Junctions": [],
140
    "Name": "Super12",
141
    "Path": "Super12Modif_Super12",
142
    "SimulinkFunctions": [],
143
    "States": [
144
        {
145
            "Actions": {
146
                "Bind": {
147
                    "actions": "",
148
                    "external_fun": "",
149
                    "inputs": "",
150
                    "original_actions": "",
151
                    "outputs": "",
152
                    "variables": ""
153
                },
154
                "During": {
155
                    "actions": "",
156
                    "external_fun": "",
157
                    "inputs": "",
158
                    "original_actions": "",
159
                    "outputs": "",
160
                    "variables": ""
161
                },
162
                "Entry": {
163
                    "actions": "",
164
                    "external_fun": "",
165
                    "inputs": "",
166
                    "original_actions": "",
167
                    "outputs": "",
168
                    "variables": ""
169
                },
170
                "Exit": {
171
                    "actions": "",
172
                    "external_fun": "",
173
                    "inputs": "",
174
                    "original_actions": "",
175
                    "outputs": "",
176
                    "variables": ""
177
                },
178
                "On": {
179
                    "actions": "",
180
                    "external_fun": "",
181
                    "inputs": "",
182
                    "original_actions": "",
183
                    "outputs": "",
184
                    "variables": ""
185
                },
186
                "OnAfter": {
187
                    "actions": "",
188
                    "external_fun": "",
189
                    "inputs": "",
190
                    "original_actions": "",
191
                    "outputs": "",
192
                    "variables": ""
193
                },
194
                "OnAt": {
195
                    "actions": "",
196
                    "external_fun": "",
197
                    "inputs": "",
198
                    "original_actions": "",
199
                    "outputs": "",
200
                    "variables": ""
201
                },
202
                "OnBefore": {
203
                    "actions": "",
204
                    "external_fun": "",
205
                    "inputs": "",
206
                    "original_actions": "",
207
                    "outputs": "",
208
                    "variables": ""
209
                },
210
                "OnEvery": {
211
                    "actions": "",
212
                    "external_fun": "",
213
                    "inputs": "",
214
                    "original_actions": "",
215
                    "outputs": "",
216
                    "variables": ""
217
                }
218
            },
219
            "Composition": {
220
                "DefaultTransitions": {
221
                    "Condition": {
222
                        "actions": "",
223
                        "external_fun": "",
224
                        "inputs": "",
225
                        "original_actions": "",
226
                        "outputs": "",
227
                        "variables": ""
228
                    },
229
                    "ConditionAction": {
230
                        "actions": "",
231
                        "external_fun": "",
232
                        "inputs": "",
233
                        "original_actions": "",
234
                        "outputs": "",
235
                        "variables": ""
236
                    },
237
                    "Destination": {
238
                        "Id": 473,
239
                        "Name": "Super12Modif_Super12/A",
240
                        "Type": "State"
241
                    },
242
                    "Event": "",
243
                    "Id": 498,
244
                    "TransitionAction": {
245
                        "actions": "",
246
                        "external_fun": "",
247
                        "inputs": "",
248
                        "original_actions": "",
249
                        "outputs": "",
250
                        "variables": ""
251
                    }
252
                },
253
                "States": [
254
                    473,
255
                    474
256
                ],
257
                "Substates": [
258
                    "A",
259
                    "B"
260
                ],
261
                "Type": "EXCLUSIVE_OR"
262
            },
263
            "Id": 471,
264
            "InnerTransitions": [],
265
            "OuterTransitions": [],
266
            "Path": "Super12Modif_Super12"
267
        },
268
        {
269
            "Actions": {
270
                "Bind": {
271
                    "actions": "",
272
                    "external_fun": "",
273
                    "inputs": "",
274
                    "original_actions": "",
275
                    "outputs": "",
276
                    "variables": ""
277
                },
278
                "During": {
279
                    "actions": "",
280
                    "external_fun": "",
281
                    "inputs": "durA: int;",
282
                    "original_actions": "durA++\n",
283
                    "outputs": "durA: int;",
284
                    "variables": ""
285
                },
286
                "Entry": {
287
                    "actions": "",
288
                    "external_fun": "",
289
                    "inputs": "enA: int;",
290
                    "original_actions": "enA++\n",
291
                    "outputs": "enA: int;",
292
                    "variables": ""
293
                },
294
                "Exit": {
295
                    "actions": "",
296
                    "external_fun": "",
297
                    "inputs": "exA: int;",
298
                    "original_actions": "exA++\n",
299
                    "outputs": "exA: int;",
300
                    "variables": ""
301
                },
302
                "On": {
303
                    "actions": "",
304
                    "external_fun": "",
305
                    "inputs": "",
306
                    "original_actions": "",
307
                    "outputs": "",
308
                    "variables": ""
309
                },
310
                "OnAfter": {
311
                    "actions": "",
312
                    "external_fun": "",
313
                    "inputs": "",
314
                    "original_actions": "",
315
                    "outputs": "",
316
                    "variables": ""
317
                },
318
                "OnAt": {
319
                    "actions": "",
320
                    "external_fun": "",
321
                    "inputs": "",
322
                    "original_actions": "",
323
                    "outputs": "",
324
                    "variables": ""
325
                },
326
                "OnBefore": {
327
                    "actions": "",
328
                    "external_fun": "",
329
                    "inputs": "",
330
                    "original_actions": "",
331
                    "outputs": "",
332
                    "variables": ""
333
                },
334
                "OnEvery": {
335
                    "actions": "",
336
                    "external_fun": "",
337
                    "inputs": "",
338
                    "original_actions": "",
339
                    "outputs": "",
340
                    "variables": ""
341
                }
342
            },
343
            "Composition": {
344
                "DefaultTransitions": {
345
                    "Condition": {
346
                        "actions": "",
347
                        "external_fun": "",
348
                        "inputs": "",
349
                        "original_actions": "",
350
                        "outputs": "",
351
                        "variables": ""
352
                    },
353
                    "ConditionAction": {
354
                        "actions": "",
355
                        "external_fun": "",
356
                        "inputs": "",
357
                        "original_actions": "",
358
                        "outputs": "",
359
                        "variables": ""
360
                    },
361
                    "Destination": {
362
                        "Id": 472,
363
                        "Name": "Super12Modif_Super12/A/A0",
364
                        "Type": "State"
365
                    },
366
                    "Event": "",
367
                    "Id": 480,
368
                    "TransitionAction": {
369
                        "actions": "",
370
                        "external_fun": "",
371
                        "inputs": "",
372
                        "original_actions": "",
373
                        "outputs": "",
374
                        "variables": ""
375
                    }
376
                },
377
                "States": [
378
                    477,
379
                    472
380
                ],
381
                "Substates": [
382
                    "A1",
383
                    "A0"
384
                ],
385
                "Type": "EXCLUSIVE_OR"
386
            },
387
            "Id": 473,
388
            "InnerTransitions": [],
389
            "Name": "A",
390
            "OuterTransitions": {
391
                "Condition": {
392
                    "actions": "",
393
                    "external_fun": "",
394
                    "inputs": "",
395
                    "original_actions": "",
396
                    "outputs": "",
397
                    "variables": ""
398
                },
399
                "ConditionAction": {
400
                    "actions": "",
401
                    "external_fun": "",
402
                    "inputs": "",
403
                    "original_actions": "",
404
                    "outputs": "",
405
                    "variables": ""
406
                },
407
                "Destination": {
408
                    "Id": 474,
409
                    "Name": "Super12Modif_Super12/B",
410
                    "Type": "State"
411
                },
412
                "Event": "F",
413
                "Id": 499,
414
                "TransitionAction": {
415
                    "actions": "",
416
                    "external_fun": "",
417
                    "inputs": "",
418
                    "original_actions": "",
419
                    "outputs": "",
420
                    "variables": ""
421
                }
422
            },
423
            "Path": "Super12Modif_Super12/A"
424
        },
425
        {
426
            "Actions": {
427
                "Bind": {
428
                    "actions": "",
429
                    "external_fun": "",
430
                    "inputs": "",
431
                    "original_actions": "",
432
                    "outputs": "",
433
                    "variables": ""
434
                },
435
                "During": {
436
                    "actions": "",
437
                    "external_fun": "",
438
                    "inputs": "durB: int;",
439
                    "original_actions": "durB++\n",
440
                    "outputs": "durB: int;",
441
                    "variables": ""
442
                },
443
                "Entry": {
444
                    "actions": "",
445
                    "external_fun": "",
446
                    "inputs": "enB: int;",
447
                    "original_actions": "enB++\n",
448
                    "outputs": "enB: int;",
449
                    "variables": ""
450
                },
451
                "Exit": {
452
                    "actions": "",
453
                    "external_fun": "",
454
                    "inputs": "exB: int;",
455
                    "original_actions": "exB++",
456
                    "outputs": "exB: int;",
457
                    "variables": ""
458
                },
459
                "On": {
460
                    "actions": "",
461
                    "external_fun": "",
462
                    "inputs": "",
463
                    "original_actions": "",
464
                    "outputs": "",
465
                    "variables": ""
466
                },
467
                "OnAfter": {
468
                    "actions": "",
469
                    "external_fun": "",
470
                    "inputs": "",
471
                    "original_actions": "",
472
                    "outputs": "",
473
                    "variables": ""
474
                },
475
                "OnAt": {
476
                    "actions": "",
477
                    "external_fun": "",
478
                    "inputs": "",
479
                    "original_actions": "",
480
                    "outputs": "",
481
                    "variables": ""
482
                },
483
                "OnBefore": {
484
                    "actions": "",
485
                    "external_fun": "",
486
                    "inputs": "",
487
                    "original_actions": "",
488
                    "outputs": "",
489
                    "variables": ""
490
                },
491
                "OnEvery": {
492
                    "actions": "",
493
                    "external_fun": "",
494
                    "inputs": "",
495
                    "original_actions": "",
496
                    "outputs": "",
497
                    "variables": ""
498
                }
499
            },
500
            "Composition": {
501
                "DefaultTransitions": {
502
                    "Condition": {
503
                        "actions": "",
504
                        "external_fun": "",
505
                        "inputs": "",
506
                        "original_actions": "",
507
                        "outputs": "",
508
                        "variables": ""
509
                    },
510
                    "ConditionAction": {
511
                        "actions": "",
512
                        "external_fun": "",
513
                        "inputs": "",
514
                        "original_actions": "",
515
                        "outputs": "",
516
                        "variables": ""
517
                    },
518
                    "Destination": {
519
                        "Id": 476,
520
                        "Name": "Super12Modif_Super12/B/B0",
521
                        "Type": "State"
522
                    },
523
                    "Event": "",
524
                    "Id": 481,
525
                    "TransitionAction": {
526
                        "actions": "",
527
                        "external_fun": "",
528
                        "inputs": "",
529
                        "original_actions": "",
530
                        "outputs": "",
531
                        "variables": ""
532
                    }
533
                },
534
                "States": [
535
                    476,
536
                    475
537
                ],
538
                "Substates": [
539
                    "B0",
540
                    "B1"
541
                ],
542
                "Type": "EXCLUSIVE_OR"
543
            },
544
            "Id": 474,
545
            "InnerTransitions": [],
546
            "Name": "B",
547
            "OuterTransitions": [],
548
            "Path": "Super12Modif_Super12/B"
549
        },
550
        {
551
            "Actions": {
552
                "Bind": {
553
                    "actions": "",
554
                    "external_fun": "",
555
                    "inputs": "",
556
                    "original_actions": "",
557
                    "outputs": "",
558
                    "variables": ""
559
                },
560
                "During": {
561
                    "actions": "",
562
                    "external_fun": "",
563
                    "inputs": "",
564
                    "original_actions": "",
565
                    "outputs": "",
566
                    "variables": ""
567
                },
568
                "Entry": {
569
                    "actions": "",
570
                    "external_fun": "",
571
                    "inputs": "",
572
                    "original_actions": "",
573
                    "outputs": "",
574
                    "variables": ""
575
                },
576
                "Exit": {
577
                    "actions": "",
578
                    "external_fun": "",
579
                    "inputs": "",
580
                    "original_actions": "",
581
                    "outputs": "",
582
                    "variables": ""
583
                },
584
                "On": {
585
                    "actions": "",
586
                    "external_fun": "",
587
                    "inputs": "",
588
                    "original_actions": "",
589
                    "outputs": "",
590
                    "variables": ""
591
                },
592
                "OnAfter": {
593
                    "actions": "",
594
                    "external_fun": "",
595
                    "inputs": "",
596
                    "original_actions": "",
597
                    "outputs": "",
598
                    "variables": ""
599
                },
600
                "OnAt": {
601
                    "actions": "",
602
                    "external_fun": "",
603
                    "inputs": "",
604
                    "original_actions": "",
605
                    "outputs": "",
606
                    "variables": ""
607
                },
608
                "OnBefore": {
609
                    "actions": "",
610
                    "external_fun": "",
611
                    "inputs": "",
612
                    "original_actions": "",
613
                    "outputs": "",
614
                    "variables": ""
615
                },
616
                "OnEvery": {
617
                    "actions": "",
618
                    "external_fun": "",
619
                    "inputs": "",
620
                    "original_actions": "",
621
                    "outputs": "",
622
                    "variables": ""
623
                }
624
            },
625
            "Composition": {
626
                "DefaultTransitions": [],
627
                "States": [],
628
                "Substates": [],
629
                "Type": "EXCLUSIVE_OR"
630
            },
631
            "Id": 477,
632
            "InnerTransitions": [],
633
            "Name": "A1",
634
            "OuterTransitions": {
635
                "Condition": {
636
                    "actions": "",
637
                    "external_fun": "",
638
                    "inputs": "",
639
                    "original_actions": "",
640
                    "outputs": "",
641
                    "variables": ""
642
                },
643
                "ConditionAction": {
644
                    "actions": "",
645
                    "external_fun": "",
646
                    "inputs": "",
647
                    "original_actions": "",
648
                    "outputs": "",
649
                    "variables": ""
650
                },
651
                "Destination": {
652
                    "Id": 472,
653
                    "Name": "Super12Modif_Super12/A/A0",
654
                    "Type": "State"
655
                },
656
                "Event": "F",
657
                "Id": 478,
658
                "TransitionAction": {
659
                    "actions": "",
660
                    "external_fun": "",
661
                    "inputs": "",
662
                    "original_actions": "",
663
                    "outputs": "",
664
                    "variables": ""
665
                }
666
            },
667
            "Path": "Super12Modif_Super12/A/A1"
668
        },
669
        {
670
            "Actions": {
671
                "Bind": {
672
                    "actions": "",
673
                    "external_fun": "",
674
                    "inputs": "",
675
                    "original_actions": "",
676
                    "outputs": "",
677
                    "variables": ""
678
                },
679
                "During": {
680
                    "actions": "",
681
                    "external_fun": "",
682
                    "inputs": "durA0: int;",
683
                    "original_actions": "durA0++\n",
684
                    "outputs": "durA0: int;",
685
                    "variables": ""
686
                },
687
                "Entry": {
688
                    "actions": "",
689
                    "external_fun": "",
690
                    "inputs": "enA0: int;",
691
                    "original_actions": "enA0++\n",
692
                    "outputs": "enA0: int;",
693
                    "variables": ""
694
                },
695
                "Exit": {
696
                    "actions": "",
697
                    "external_fun": "",
698
                    "inputs": "exA0: int;",
699
                    "original_actions": "exA0++",
700
                    "outputs": "exA0: int;",
701
                    "variables": ""
702
                },
703
                "On": {
704
                    "actions": "",
705
                    "external_fun": "",
706
                    "inputs": "",
707
                    "original_actions": "",
708
                    "outputs": "",
709
                    "variables": ""
710
                },
711
                "OnAfter": {
712
                    "actions": "",
713
                    "external_fun": "",
714
                    "inputs": "",
715
                    "original_actions": "",
716
                    "outputs": "",
717
                    "variables": ""
718
                },
719
                "OnAt": {
720
                    "actions": "",
721
                    "external_fun": "",
722
                    "inputs": "",
723
                    "original_actions": "",
724
                    "outputs": "",
725
                    "variables": ""
726
                },
727
                "OnBefore": {
728
                    "actions": "",
729
                    "external_fun": "",
730
                    "inputs": "",
731
                    "original_actions": "",
732
                    "outputs": "",
733
                    "variables": ""
734
                },
735
                "OnEvery": {
736
                    "actions": "",
737
                    "external_fun": "",
738
                    "inputs": "",
739
                    "original_actions": "",
740
                    "outputs": "",
741
                    "variables": ""
742
                }
743
            },
744
            "Composition": {
745
                "DefaultTransitions": [],
746
                "States": [],
747
                "Substates": [],
748
                "Type": "EXCLUSIVE_OR"
749
            },
750
            "Id": 472,
751
            "InnerTransitions": [],
752
            "Name": "A0",
753
            "OuterTransitions": [
754
                {
755
                    "Condition": {
756
                        "actions": "",
757
                        "external_fun": "",
758
                        "inputs": "",
759
                        "original_actions": "",
760
                        "outputs": "",
761
                        "variables": ""
762
                    },
763
                    "ConditionAction": {
764
                        "actions": "",
765
                        "external_fun": "",
766
                        "inputs": "",
767
                        "original_actions": "",
768
                        "outputs": "",
769
                        "variables": ""
770
                    },
771
                    "Destination": {
772
                        "Id": 475,
773
                        "Name": "Super12Modif_Super12/B/B1",
774
                        "Type": "State"
775
                    },
776
                    "Event": "E",
777
                    "Id": 500,
778
                    "TransitionAction": {
779
                        "actions": "",
780
                        "external_fun": "",
781
                        "inputs": "",
782
                        "original_actions": "",
783
                        "outputs": "",
784
                        "variables": ""
785
                    }
786
                },
787
                {
788
                    "Condition": {
789
                        "actions": "",
790
                        "external_fun": "",
791
                        "inputs": "",
792
                        "original_actions": "",
793
                        "outputs": "",
794
                        "variables": ""
795
                    },
796
                    "ConditionAction": {
797
                        "actions": "",
798
                        "external_fun": "",
799
                        "inputs": "",
800
                        "original_actions": "",
801
                        "outputs": "",
802
                        "variables": ""
803
                    },
804
                    "Destination": {
805
                        "Id": 477,
806
                        "Name": "Super12Modif_Super12/A/A1",
807
                        "Type": "State"
808
                    },
809
                    "Event": "F",
810
                    "Id": 479,
811
                    "TransitionAction": {
812
                        "actions": "",
813
                        "external_fun": "",
814
                        "inputs": "",
815
                        "original_actions": "",
816
                        "outputs": "",
817
                        "variables": ""
818
                    }
819
                }
820
            ],
821
            "Path": "Super12Modif_Super12/A/A0"
822
        },
823
        {
824
            "Actions": {
825
                "Bind": {
826
                    "actions": "",
827
                    "external_fun": "",
828
                    "inputs": "",
829
                    "original_actions": "",
830
                    "outputs": "",
831
                    "variables": ""
832
                },
833
                "During": {
834
                    "actions": "",
835
                    "external_fun": "",
836
                    "inputs": "",
837
                    "original_actions": "",
838
                    "outputs": "",
839
                    "variables": ""
840
                },
841
                "Entry": {
842
                    "actions": "",
843
                    "external_fun": "",
844
                    "inputs": "",
845
                    "original_actions": "",
846
                    "outputs": "",
847
                    "variables": ""
848
                },
849
                "Exit": {
850
                    "actions": "",
851
                    "external_fun": "",
852
                    "inputs": "",
853
                    "original_actions": "",
854
                    "outputs": "",
855
                    "variables": ""
856
                },
857
                "On": {
858
                    "actions": "",
859
                    "external_fun": "",
860
                    "inputs": "",
861
                    "original_actions": "",
862
                    "outputs": "",
863
                    "variables": ""
864
                },
865
                "OnAfter": {
866
                    "actions": "",
867
                    "external_fun": "",
868
                    "inputs": "",
869
                    "original_actions": "",
870
                    "outputs": "",
871
                    "variables": ""
872
                },
873
                "OnAt": {
874
                    "actions": "",
875
                    "external_fun": "",
876
                    "inputs": "",
877
                    "original_actions": "",
878
                    "outputs": "",
879
                    "variables": ""
880
                },
881
                "OnBefore": {
882
                    "actions": "",
883
                    "external_fun": "",
884
                    "inputs": "",
885
                    "original_actions": "",
886
                    "outputs": "",
887
                    "variables": ""
888
                },
889
                "OnEvery": {
890
                    "actions": "",
891
                    "external_fun": "",
892
                    "inputs": "",
893
                    "original_actions": "",
894
                    "outputs": "",
895
                    "variables": ""
896
                }
897
            },
898
            "Composition": {
899
                "DefaultTransitions": [],
900
                "States": [],
901
                "Substates": [],
902
                "Type": "EXCLUSIVE_OR"
903
            },
904
            "Id": 476,
905
            "InnerTransitions": [],
906
            "Name": "B0",
907
            "OuterTransitions": {
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": 475,
926
                    "Name": "Super12Modif_Super12/B/B1",
927
                    "Type": "State"
928
                },
929
                "Event": "E",
930
                "Id": 482,
931
                "TransitionAction": {
932
                    "actions": "",
933
                    "external_fun": "",
934
                    "inputs": "",
935
                    "original_actions": "",
936
                    "outputs": "",
937
                    "variables": ""
938
                }
939
            },
940
            "Path": "Super12Modif_Super12/B/B0"
941
        },
942
        {
943
            "Actions": {
944
                "Bind": {
945
                    "actions": "",
946
                    "external_fun": "",
947
                    "inputs": "",
948
                    "original_actions": "",
949
                    "outputs": "",
950
                    "variables": ""
951
                },
952
                "During": {
953
                    "actions": "",
954
                    "external_fun": "",
955
                    "inputs": "durB1: int;",
956
                    "original_actions": "durB1++\n",
957
                    "outputs": "durB1: int;",
958
                    "variables": ""
959
                },
960
                "Entry": {
961
                    "actions": "",
962
                    "external_fun": "",
963
                    "inputs": "enB1: int;",
964
                    "original_actions": "enB1++\n",
965
                    "outputs": "enB1: int;",
966
                    "variables": ""
967
                },
968
                "Exit": {
969
                    "actions": "",
970
                    "external_fun": "",
971
                    "inputs": "exB1: int;",
972
                    "original_actions": "exB1++",
973
                    "outputs": "exB1: int;",
974
                    "variables": ""
975
                },
976
                "On": {
977
                    "actions": "",
978
                    "external_fun": "",
979
                    "inputs": "",
980
                    "original_actions": "",
981
                    "outputs": "",
982
                    "variables": ""
983
                },
984
                "OnAfter": {
985
                    "actions": "",
986
                    "external_fun": "",
987
                    "inputs": "",
988
                    "original_actions": "",
989
                    "outputs": "",
990
                    "variables": ""
991
                },
992
                "OnAt": {
993
                    "actions": "",
994
                    "external_fun": "",
995
                    "inputs": "",
996
                    "original_actions": "",
997
                    "outputs": "",
998
                    "variables": ""
999
                },
1000
                "OnBefore": {
1001
                    "actions": "",
1002
                    "external_fun": "",
1003
                    "inputs": "",
1004
                    "original_actions": "",
1005
                    "outputs": "",
1006
                    "variables": ""
1007
                },
1008
                "OnEvery": {
1009
                    "actions": "",
1010
                    "external_fun": "",
1011
                    "inputs": "",
1012
                    "original_actions": "",
1013
                    "outputs": "",
1014
                    "variables": ""
1015
                }
1016
            },
1017
            "Composition": {
1018
                "DefaultTransitions": [],
1019
                "States": [],
1020
                "Substates": [],
1021
                "Type": "EXCLUSIVE_OR"
1022
            },
1023
            "Id": 475,
1024
            "InnerTransitions": [],
1025
            "Name": "B1",
1026
            "OuterTransitions": [
1027
                {
1028
                    "Condition": {
1029
                        "actions": "",
1030
                        "external_fun": "",
1031
                        "inputs": "",
1032
                        "original_actions": "",
1033
                        "outputs": "",
1034
                        "variables": ""
1035
                    },
1036
                    "ConditionAction": {
1037
                        "actions": "",
1038
                        "external_fun": "",
1039
                        "inputs": "",
1040
                        "original_actions": "",
1041
                        "outputs": "",
1042
                        "variables": ""
1043
                    },
1044
                    "Destination": {
1045
                        "Id": 472,
1046
                        "Name": "Super12Modif_Super12/A/A0",
1047
                        "Type": "State"
1048
                    },
1049
                    "Event": "F",
1050
                    "Id": 501,
1051
                    "TransitionAction": {
1052
                        "actions": "",
1053
                        "external_fun": "",
1054
                        "inputs": "",
1055
                        "original_actions": "",
1056
                        "outputs": "",
1057
                        "variables": ""
1058
                    }
1059
                },
1060
                {
1061
                    "Condition": {
1062
                        "actions": "",
1063
                        "external_fun": "",
1064
                        "inputs": "",
1065
                        "original_actions": "",
1066
                        "outputs": "",
1067
                        "variables": ""
1068
                    },
1069
                    "ConditionAction": {
1070
                        "actions": "",
1071
                        "external_fun": "",
1072
                        "inputs": "",
1073
                        "original_actions": "",
1074
                        "outputs": "",
1075
                        "variables": ""
1076
                    },
1077
                    "Destination": {
1078
                        "Id": 476,
1079
                        "Name": "Super12Modif_Super12/B/B0",
1080
                        "Type": "State"
1081
                    },
1082
                    "Event": "E",
1083
                    "Id": 483,
1084
                    "TransitionAction": {
1085
                        "actions": "",
1086
                        "external_fun": "",
1087
                        "inputs": "",
1088
                        "original_actions": "",
1089
                        "outputs": "",
1090
                        "variables": ""
1091
                    }
1092
                }
1093
            ],
1094
            "Path": "Super12Modif_Super12/B/B1"
1095
        }
1096
    ],
1097
    "TruthTables": []
1098
}