Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (50 KB)

1
{
2
    "Data": [
3
        {
4
            "ArraySize": "",
5
            "CompiledType": "unknown",
6
            "Datatype": "real",
7
            "Id": 3132,
8
            "InitialValue": "0.0",
9
            "Name": "sT1",
10
            "Port": 1,
11
            "Scope": "Output"
12
        },
13
        {
14
            "ArraySize": "",
15
            "CompiledType": "unknown",
16
            "Datatype": "real",
17
            "Id": 3133,
18
            "InitialValue": "0.0",
19
            "Name": "sT2",
20
            "Port": 2,
21
            "Scope": "Output"
22
        },
23
        {
24
            "ArraySize": "",
25
            "CompiledType": "unknown",
26
            "Datatype": "real",
27
            "Id": 3134,
28
            "InitialValue": "0.0",
29
            "Name": "sT3",
30
            "Port": 3,
31
            "Scope": "Output"
32
        }
33
    ],
34
    "Events": [
35
        {
36
            "Id": 3135,
37
            "Name": "E",
38
            "Port": 1,
39
            "Scope": "Input"
40
        },
41
        {
42
            "Id": 3136,
43
            "Name": "F",
44
            "Port": 2,
45
            "Scope": "Input"
46
        }
47
    ],
48
    "GraphicalFunctions": [],
49
    "Junctions": [],
50
    "Name": "Iek1",
51
    "Path": "Iek1_Iek1",
52
    "SimulinkFunctions": [],
53
    "States": [
54
        {
55
            "Actions": {
56
                "Bind": {
57
                    "actions": "",
58
                    "external_fun": "",
59
                    "inputs": "",
60
                    "original_actions": "",
61
                    "outputs": "",
62
                    "variables": ""
63
                },
64
                "During": {
65
                    "actions": "",
66
                    "external_fun": "",
67
                    "inputs": "",
68
                    "original_actions": "",
69
                    "outputs": "",
70
                    "variables": ""
71
                },
72
                "Entry": {
73
                    "actions": "",
74
                    "external_fun": "",
75
                    "inputs": "",
76
                    "original_actions": "",
77
                    "outputs": "",
78
                    "variables": ""
79
                },
80
                "Exit": {
81
                    "actions": "",
82
                    "external_fun": "",
83
                    "inputs": "",
84
                    "original_actions": "",
85
                    "outputs": "",
86
                    "variables": ""
87
                },
88
                "On": {
89
                    "actions": "",
90
                    "external_fun": "",
91
                    "inputs": "",
92
                    "original_actions": "",
93
                    "outputs": "",
94
                    "variables": ""
95
                },
96
                "OnAfter": {
97
                    "actions": "",
98
                    "external_fun": "",
99
                    "inputs": "",
100
                    "original_actions": "",
101
                    "outputs": "",
102
                    "variables": ""
103
                },
104
                "OnAt": {
105
                    "actions": "",
106
                    "external_fun": "",
107
                    "inputs": "",
108
                    "original_actions": "",
109
                    "outputs": "",
110
                    "variables": ""
111
                },
112
                "OnBefore": {
113
                    "actions": "",
114
                    "external_fun": "",
115
                    "inputs": "",
116
                    "original_actions": "",
117
                    "outputs": "",
118
                    "variables": ""
119
                },
120
                "OnEvery": {
121
                    "actions": "",
122
                    "external_fun": "",
123
                    "inputs": "",
124
                    "original_actions": "",
125
                    "outputs": "",
126
                    "variables": ""
127
                }
128
            },
129
            "Composition": {
130
                "DefaultTransitions": [],
131
                "States": [
132
                    3108,
133
                    3111,
134
                    3114
135
                ],
136
                "Substates": [
137
                    "T1",
138
                    "T2",
139
                    "T3"
140
                ],
141
                "Type": "PARALLEL_AND"
142
            },
143
            "Id": 3107,
144
            "InnerTransitions": [],
145
            "OuterTransitions": [],
146
            "Path": "Iek1_Iek1"
147
        },
148
        {
149
            "Actions": {
150
                "Bind": {
151
                    "actions": "",
152
                    "external_fun": "",
153
                    "inputs": "",
154
                    "original_actions": "",
155
                    "outputs": "",
156
                    "variables": ""
157
                },
158
                "During": {
159
                    "actions": "",
160
                    "external_fun": "",
161
                    "inputs": "",
162
                    "original_actions": "",
163
                    "outputs": "",
164
                    "variables": ""
165
                },
166
                "Entry": {
167
                    "actions": "",
168
                    "external_fun": "",
169
                    "inputs": "",
170
                    "original_actions": "",
171
                    "outputs": "",
172
                    "variables": ""
173
                },
174
                "Exit": {
175
                    "actions": "",
176
                    "external_fun": "",
177
                    "inputs": "",
178
                    "original_actions": "",
179
                    "outputs": "",
180
                    "variables": ""
181
                },
182
                "On": {
183
                    "actions": "",
184
                    "external_fun": "",
185
                    "inputs": "",
186
                    "original_actions": "",
187
                    "outputs": "",
188
                    "variables": ""
189
                },
190
                "OnAfter": {
191
                    "actions": "",
192
                    "external_fun": "",
193
                    "inputs": "",
194
                    "original_actions": "",
195
                    "outputs": "",
196
                    "variables": ""
197
                },
198
                "OnAt": {
199
                    "actions": "",
200
                    "external_fun": "",
201
                    "inputs": "",
202
                    "original_actions": "",
203
                    "outputs": "",
204
                    "variables": ""
205
                },
206
                "OnBefore": {
207
                    "actions": "",
208
                    "external_fun": "",
209
                    "inputs": "",
210
                    "original_actions": "",
211
                    "outputs": "",
212
                    "variables": ""
213
                },
214
                "OnEvery": {
215
                    "actions": "",
216
                    "external_fun": "",
217
                    "inputs": "",
218
                    "original_actions": "",
219
                    "outputs": "",
220
                    "variables": ""
221
                }
222
            },
223
            "Composition": {
224
                "DefaultTransitions": {
225
                    "Condition": {
226
                        "actions": "",
227
                        "external_fun": "",
228
                        "inputs": "",
229
                        "original_actions": "",
230
                        "outputs": "",
231
                        "variables": ""
232
                    },
233
                    "ConditionAction": {
234
                        "actions": "",
235
                        "external_fun": "",
236
                        "inputs": "",
237
                        "original_actions": "",
238
                        "outputs": "",
239
                        "variables": ""
240
                    },
241
                    "Destination": {
242
                        "Id": 3110,
243
                        "Name": "Iek1_Iek1/T1/A",
244
                        "Type": "State"
245
                    },
246
                    "Event": "",
247
                    "Id": 3119,
248
                    "TransitionAction": {
249
                        "actions": "",
250
                        "external_fun": "",
251
                        "inputs": "",
252
                        "original_actions": "",
253
                        "outputs": "",
254
                        "variables": ""
255
                    }
256
                },
257
                "States": [
258
                    3110,
259
                    3109
260
                ],
261
                "Substates": [
262
                    "A",
263
                    "B"
264
                ],
265
                "Type": "EXCLUSIVE_OR"
266
            },
267
            "Id": 3108,
268
            "InnerTransitions": [],
269
            "Name": "T1",
270
            "OuterTransitions": [],
271
            "Path": "Iek1_Iek1/T1"
272
        },
273
        {
274
            "Actions": {
275
                "Bind": {
276
                    "actions": "",
277
                    "external_fun": "",
278
                    "inputs": "",
279
                    "original_actions": "",
280
                    "outputs": "",
281
                    "variables": ""
282
                },
283
                "During": {
284
                    "actions": "",
285
                    "external_fun": "",
286
                    "inputs": "",
287
                    "original_actions": "",
288
                    "outputs": "",
289
                    "variables": ""
290
                },
291
                "Entry": {
292
                    "actions": "",
293
                    "external_fun": "",
294
                    "inputs": "",
295
                    "original_actions": "",
296
                    "outputs": "",
297
                    "variables": ""
298
                },
299
                "Exit": {
300
                    "actions": "",
301
                    "external_fun": "",
302
                    "inputs": "",
303
                    "original_actions": "",
304
                    "outputs": "",
305
                    "variables": ""
306
                },
307
                "On": {
308
                    "actions": "",
309
                    "external_fun": "",
310
                    "inputs": "",
311
                    "original_actions": "",
312
                    "outputs": "",
313
                    "variables": ""
314
                },
315
                "OnAfter": {
316
                    "actions": "",
317
                    "external_fun": "",
318
                    "inputs": "",
319
                    "original_actions": "",
320
                    "outputs": "",
321
                    "variables": ""
322
                },
323
                "OnAt": {
324
                    "actions": "",
325
                    "external_fun": "",
326
                    "inputs": "",
327
                    "original_actions": "",
328
                    "outputs": "",
329
                    "variables": ""
330
                },
331
                "OnBefore": {
332
                    "actions": "",
333
                    "external_fun": "",
334
                    "inputs": "",
335
                    "original_actions": "",
336
                    "outputs": "",
337
                    "variables": ""
338
                },
339
                "OnEvery": {
340
                    "actions": "",
341
                    "external_fun": "",
342
                    "inputs": "",
343
                    "original_actions": "",
344
                    "outputs": "",
345
                    "variables": ""
346
                }
347
            },
348
            "Composition": {
349
                "DefaultTransitions": {
350
                    "Condition": {
351
                        "actions": "",
352
                        "external_fun": "",
353
                        "inputs": "",
354
                        "original_actions": "",
355
                        "outputs": "",
356
                        "variables": ""
357
                    },
358
                    "ConditionAction": {
359
                        "actions": "",
360
                        "external_fun": "",
361
                        "inputs": "",
362
                        "original_actions": "",
363
                        "outputs": "",
364
                        "variables": ""
365
                    },
366
                    "Destination": {
367
                        "Id": 3112,
368
                        "Name": "Iek1_Iek1/T2/C",
369
                        "Type": "State"
370
                    },
371
                    "Event": "",
372
                    "Id": 3122,
373
                    "TransitionAction": {
374
                        "actions": "",
375
                        "external_fun": "",
376
                        "inputs": "",
377
                        "original_actions": "",
378
                        "outputs": "",
379
                        "variables": ""
380
                    }
381
                },
382
                "States": [
383
                    3112,
384
                    3113
385
                ],
386
                "Substates": [
387
                    "C",
388
                    "D"
389
                ],
390
                "Type": "EXCLUSIVE_OR"
391
            },
392
            "Id": 3111,
393
            "InnerTransitions": [],
394
            "Name": "T2",
395
            "OuterTransitions": [],
396
            "Path": "Iek1_Iek1/T2"
397
        },
398
        {
399
            "Actions": {
400
                "Bind": {
401
                    "actions": "",
402
                    "external_fun": "",
403
                    "inputs": "",
404
                    "original_actions": "",
405
                    "outputs": "",
406
                    "variables": ""
407
                },
408
                "During": {
409
                    "actions": "",
410
                    "external_fun": "",
411
                    "inputs": "",
412
                    "original_actions": "",
413
                    "outputs": "",
414
                    "variables": ""
415
                },
416
                "Entry": {
417
                    "actions": "",
418
                    "external_fun": "",
419
                    "inputs": "",
420
                    "original_actions": "",
421
                    "outputs": "",
422
                    "variables": ""
423
                },
424
                "Exit": {
425
                    "actions": "",
426
                    "external_fun": "",
427
                    "inputs": "",
428
                    "original_actions": "",
429
                    "outputs": "",
430
                    "variables": ""
431
                },
432
                "On": {
433
                    "actions": "",
434
                    "external_fun": "",
435
                    "inputs": "",
436
                    "original_actions": "",
437
                    "outputs": "",
438
                    "variables": ""
439
                },
440
                "OnAfter": {
441
                    "actions": "",
442
                    "external_fun": "",
443
                    "inputs": "",
444
                    "original_actions": "",
445
                    "outputs": "",
446
                    "variables": ""
447
                },
448
                "OnAt": {
449
                    "actions": "",
450
                    "external_fun": "",
451
                    "inputs": "",
452
                    "original_actions": "",
453
                    "outputs": "",
454
                    "variables": ""
455
                },
456
                "OnBefore": {
457
                    "actions": "",
458
                    "external_fun": "",
459
                    "inputs": "",
460
                    "original_actions": "",
461
                    "outputs": "",
462
                    "variables": ""
463
                },
464
                "OnEvery": {
465
                    "actions": "",
466
                    "external_fun": "",
467
                    "inputs": "",
468
                    "original_actions": "",
469
                    "outputs": "",
470
                    "variables": ""
471
                }
472
            },
473
            "Composition": {
474
                "DefaultTransitions": {
475
                    "Condition": {
476
                        "actions": "",
477
                        "external_fun": "",
478
                        "inputs": "",
479
                        "original_actions": "",
480
                        "outputs": "",
481
                        "variables": ""
482
                    },
483
                    "ConditionAction": {
484
                        "actions": "",
485
                        "external_fun": "",
486
                        "inputs": "",
487
                        "original_actions": "",
488
                        "outputs": "",
489
                        "variables": ""
490
                    },
491
                    "Destination": {
492
                        "Id": 3115,
493
                        "Name": "Iek1_Iek1/T3/a",
494
                        "Type": "State"
495
                    },
496
                    "Event": "",
497
                    "Id": 3125,
498
                    "TransitionAction": {
499
                        "actions": "",
500
                        "external_fun": "",
501
                        "inputs": "",
502
                        "original_actions": "",
503
                        "outputs": "",
504
                        "variables": ""
505
                    }
506
                },
507
                "States": [
508
                    3115,
509
                    3116,
510
                    3118,
511
                    3117
512
                ],
513
                "Substates": [
514
                    "a",
515
                    "c",
516
                    "d",
517
                    "b"
518
                ],
519
                "Type": "EXCLUSIVE_OR"
520
            },
521
            "Id": 3114,
522
            "InnerTransitions": [],
523
            "Name": "T3",
524
            "OuterTransitions": [],
525
            "Path": "Iek1_Iek1/T3"
526
        },
527
        {
528
            "Actions": {
529
                "Bind": {
530
                    "actions": "",
531
                    "external_fun": "",
532
                    "inputs": "",
533
                    "original_actions": "",
534
                    "outputs": "",
535
                    "variables": ""
536
                },
537
                "During": {
538
                    "actions": "",
539
                    "external_fun": "",
540
                    "inputs": "",
541
                    "original_actions": "",
542
                    "outputs": "",
543
                    "variables": ""
544
                },
545
                "Entry": {
546
                    "actions": "sT1 = 1.0; ",
547
                    "external_fun": "",
548
                    "inputs": "sT1: real;",
549
                    "original_actions": "sT1=1",
550
                    "outputs": "sT1: real;",
551
                    "variables": ""
552
                },
553
                "Exit": {
554
                    "actions": "",
555
                    "external_fun": "",
556
                    "inputs": "",
557
                    "original_actions": "",
558
                    "outputs": "",
559
                    "variables": ""
560
                },
561
                "On": {
562
                    "actions": "",
563
                    "external_fun": "",
564
                    "inputs": "",
565
                    "original_actions": "",
566
                    "outputs": "",
567
                    "variables": ""
568
                },
569
                "OnAfter": {
570
                    "actions": "",
571
                    "external_fun": "",
572
                    "inputs": "",
573
                    "original_actions": "",
574
                    "outputs": "",
575
                    "variables": ""
576
                },
577
                "OnAt": {
578
                    "actions": "",
579
                    "external_fun": "",
580
                    "inputs": "",
581
                    "original_actions": "",
582
                    "outputs": "",
583
                    "variables": ""
584
                },
585
                "OnBefore": {
586
                    "actions": "",
587
                    "external_fun": "",
588
                    "inputs": "",
589
                    "original_actions": "",
590
                    "outputs": "",
591
                    "variables": ""
592
                },
593
                "OnEvery": {
594
                    "actions": "",
595
                    "external_fun": "",
596
                    "inputs": "",
597
                    "original_actions": "",
598
                    "outputs": "",
599
                    "variables": ""
600
                }
601
            },
602
            "Composition": {
603
                "DefaultTransitions": [],
604
                "States": [],
605
                "Substates": [],
606
                "Type": "EXCLUSIVE_OR"
607
            },
608
            "Id": 3110,
609
            "InnerTransitions": [],
610
            "Name": "A",
611
            "OuterTransitions": {
612
                "Condition": {
613
                    "actions": "",
614
                    "external_fun": "",
615
                    "inputs": "",
616
                    "original_actions": "",
617
                    "outputs": "",
618
                    "variables": ""
619
                },
620
                "ConditionAction": {
621
                    "actions": "",
622
                    "external_fun": "",
623
                    "inputs": "",
624
                    "original_actions": "",
625
                    "outputs": "",
626
                    "variables": ""
627
                },
628
                "Destination": {
629
                    "Id": 3109,
630
                    "Name": "Iek1_Iek1/T1/B",
631
                    "Type": "State"
632
                },
633
                "Event": "E",
634
                "Id": 3121,
635
                "TransitionAction": {
636
                    "actions": "",
637
                    "external_fun": "",
638
                    "inputs": "",
639
                    "original_actions": "",
640
                    "outputs": "",
641
                    "variables": ""
642
                }
643
            },
644
            "Path": "Iek1_Iek1/T1/A"
645
        },
646
        {
647
            "Actions": {
648
                "Bind": {
649
                    "actions": "",
650
                    "external_fun": "",
651
                    "inputs": "",
652
                    "original_actions": "",
653
                    "outputs": "",
654
                    "variables": ""
655
                },
656
                "During": {
657
                    "actions": "",
658
                    "external_fun": "",
659
                    "inputs": "",
660
                    "original_actions": "",
661
                    "outputs": "",
662
                    "variables": ""
663
                },
664
                "Entry": {
665
                    "actions": "sT1 = 2.0; ",
666
                    "external_fun": "",
667
                    "inputs": "sT1: real;",
668
                    "original_actions": "sT1=2",
669
                    "outputs": "sT1: real;",
670
                    "variables": ""
671
                },
672
                "Exit": {
673
                    "actions": "",
674
                    "external_fun": "",
675
                    "inputs": "",
676
                    "original_actions": "",
677
                    "outputs": "",
678
                    "variables": ""
679
                },
680
                "On": {
681
                    "actions": "",
682
                    "external_fun": "",
683
                    "inputs": "",
684
                    "original_actions": "",
685
                    "outputs": "",
686
                    "variables": ""
687
                },
688
                "OnAfter": {
689
                    "actions": "",
690
                    "external_fun": "",
691
                    "inputs": "",
692
                    "original_actions": "",
693
                    "outputs": "",
694
                    "variables": ""
695
                },
696
                "OnAt": {
697
                    "actions": "",
698
                    "external_fun": "",
699
                    "inputs": "",
700
                    "original_actions": "",
701
                    "outputs": "",
702
                    "variables": ""
703
                },
704
                "OnBefore": {
705
                    "actions": "",
706
                    "external_fun": "",
707
                    "inputs": "",
708
                    "original_actions": "",
709
                    "outputs": "",
710
                    "variables": ""
711
                },
712
                "OnEvery": {
713
                    "actions": "",
714
                    "external_fun": "",
715
                    "inputs": "",
716
                    "original_actions": "",
717
                    "outputs": "",
718
                    "variables": ""
719
                }
720
            },
721
            "Composition": {
722
                "DefaultTransitions": [],
723
                "States": [],
724
                "Substates": [],
725
                "Type": "EXCLUSIVE_OR"
726
            },
727
            "Id": 3109,
728
            "InnerTransitions": [],
729
            "Name": "B",
730
            "OuterTransitions": {
731
                "Condition": {
732
                    "actions": "",
733
                    "external_fun": "",
734
                    "inputs": "",
735
                    "original_actions": "",
736
                    "outputs": "",
737
                    "variables": ""
738
                },
739
                "ConditionAction": {
740
                    "actions": "",
741
                    "external_fun": "",
742
                    "inputs": "",
743
                    "original_actions": "",
744
                    "outputs": "",
745
                    "variables": ""
746
                },
747
                "Destination": {
748
                    "Id": 3110,
749
                    "Name": "Iek1_Iek1/T1/A",
750
                    "Type": "State"
751
                },
752
                "Event": "E",
753
                "Id": 3120,
754
                "TransitionAction": {
755
                    "actions": "",
756
                    "external_fun": "",
757
                    "inputs": "",
758
                    "original_actions": "",
759
                    "outputs": "",
760
                    "variables": ""
761
                }
762
            },
763
            "Path": "Iek1_Iek1/T1/B"
764
        },
765
        {
766
            "Actions": {
767
                "Bind": {
768
                    "actions": "",
769
                    "external_fun": "",
770
                    "inputs": "",
771
                    "original_actions": "",
772
                    "outputs": "",
773
                    "variables": ""
774
                },
775
                "During": {
776
                    "actions": "",
777
                    "external_fun": "",
778
                    "inputs": "",
779
                    "original_actions": "",
780
                    "outputs": "",
781
                    "variables": ""
782
                },
783
                "Entry": {
784
                    "actions": "sT2 = 1.0; ",
785
                    "external_fun": "",
786
                    "inputs": "sT2: real;",
787
                    "original_actions": "sT2=1",
788
                    "outputs": "sT2: real;",
789
                    "variables": ""
790
                },
791
                "Exit": {
792
                    "actions": "",
793
                    "external_fun": "",
794
                    "inputs": "",
795
                    "original_actions": "",
796
                    "outputs": "",
797
                    "variables": ""
798
                },
799
                "On": {
800
                    "actions": "",
801
                    "external_fun": "",
802
                    "inputs": "",
803
                    "original_actions": "",
804
                    "outputs": "",
805
                    "variables": ""
806
                },
807
                "OnAfter": {
808
                    "actions": "",
809
                    "external_fun": "",
810
                    "inputs": "",
811
                    "original_actions": "",
812
                    "outputs": "",
813
                    "variables": ""
814
                },
815
                "OnAt": {
816
                    "actions": "",
817
                    "external_fun": "",
818
                    "inputs": "",
819
                    "original_actions": "",
820
                    "outputs": "",
821
                    "variables": ""
822
                },
823
                "OnBefore": {
824
                    "actions": "",
825
                    "external_fun": "",
826
                    "inputs": "",
827
                    "original_actions": "",
828
                    "outputs": "",
829
                    "variables": ""
830
                },
831
                "OnEvery": {
832
                    "actions": "",
833
                    "external_fun": "",
834
                    "inputs": "",
835
                    "original_actions": "",
836
                    "outputs": "",
837
                    "variables": ""
838
                }
839
            },
840
            "Composition": {
841
                "DefaultTransitions": [],
842
                "States": [],
843
                "Substates": [],
844
                "Type": "EXCLUSIVE_OR"
845
            },
846
            "Id": 3112,
847
            "InnerTransitions": [],
848
            "Name": "C",
849
            "OuterTransitions": {
850
                "Condition": {
851
                    "actions": "",
852
                    "external_fun": "",
853
                    "inputs": "",
854
                    "original_actions": "",
855
                    "outputs": "",
856
                    "variables": ""
857
                },
858
                "ConditionAction": {
859
                    "actions": "",
860
                    "external_fun": "",
861
                    "inputs": "",
862
                    "original_actions": "",
863
                    "outputs": "",
864
                    "variables": ""
865
                },
866
                "Destination": {
867
                    "Id": 3113,
868
                    "Name": "Iek1_Iek1/T2/D",
869
                    "Type": "State"
870
                },
871
                "Event": "F",
872
                "Id": 3124,
873
                "TransitionAction": {
874
                    "actions": "",
875
                    "external_fun": "",
876
                    "inputs": "",
877
                    "original_actions": "",
878
                    "outputs": "",
879
                    "variables": ""
880
                }
881
            },
882
            "Path": "Iek1_Iek1/T2/C"
883
        },
884
        {
885
            "Actions": {
886
                "Bind": {
887
                    "actions": "",
888
                    "external_fun": "",
889
                    "inputs": "",
890
                    "original_actions": "",
891
                    "outputs": "",
892
                    "variables": ""
893
                },
894
                "During": {
895
                    "actions": "",
896
                    "external_fun": "",
897
                    "inputs": "",
898
                    "original_actions": "",
899
                    "outputs": "",
900
                    "variables": ""
901
                },
902
                "Entry": {
903
                    "actions": "sT2 = 2.0; ",
904
                    "external_fun": "",
905
                    "inputs": "sT2: real;",
906
                    "original_actions": "sT2=2",
907
                    "outputs": "sT2: real;",
908
                    "variables": ""
909
                },
910
                "Exit": {
911
                    "actions": "",
912
                    "external_fun": "",
913
                    "inputs": "",
914
                    "original_actions": "",
915
                    "outputs": "",
916
                    "variables": ""
917
                },
918
                "On": {
919
                    "actions": "",
920
                    "external_fun": "",
921
                    "inputs": "",
922
                    "original_actions": "",
923
                    "outputs": "",
924
                    "variables": ""
925
                },
926
                "OnAfter": {
927
                    "actions": "",
928
                    "external_fun": "",
929
                    "inputs": "",
930
                    "original_actions": "",
931
                    "outputs": "",
932
                    "variables": ""
933
                },
934
                "OnAt": {
935
                    "actions": "",
936
                    "external_fun": "",
937
                    "inputs": "",
938
                    "original_actions": "",
939
                    "outputs": "",
940
                    "variables": ""
941
                },
942
                "OnBefore": {
943
                    "actions": "",
944
                    "external_fun": "",
945
                    "inputs": "",
946
                    "original_actions": "",
947
                    "outputs": "",
948
                    "variables": ""
949
                },
950
                "OnEvery": {
951
                    "actions": "",
952
                    "external_fun": "",
953
                    "inputs": "",
954
                    "original_actions": "",
955
                    "outputs": "",
956
                    "variables": ""
957
                }
958
            },
959
            "Composition": {
960
                "DefaultTransitions": [],
961
                "States": [],
962
                "Substates": [],
963
                "Type": "EXCLUSIVE_OR"
964
            },
965
            "Id": 3113,
966
            "InnerTransitions": [],
967
            "Name": "D",
968
            "OuterTransitions": {
969
                "Condition": {
970
                    "actions": "",
971
                    "external_fun": "",
972
                    "inputs": "",
973
                    "original_actions": "",
974
                    "outputs": "",
975
                    "variables": ""
976
                },
977
                "ConditionAction": {
978
                    "actions": "",
979
                    "external_fun": "",
980
                    "inputs": "",
981
                    "original_actions": "",
982
                    "outputs": "",
983
                    "variables": ""
984
                },
985
                "Destination": {
986
                    "Id": 3112,
987
                    "Name": "Iek1_Iek1/T2/C",
988
                    "Type": "State"
989
                },
990
                "Event": "F",
991
                "Id": 3123,
992
                "TransitionAction": {
993
                    "actions": "",
994
                    "external_fun": "",
995
                    "inputs": "",
996
                    "original_actions": "",
997
                    "outputs": "",
998
                    "variables": ""
999
                }
1000
            },
1001
            "Path": "Iek1_Iek1/T2/D"
1002
        },
1003
        {
1004
            "Actions": {
1005
                "Bind": {
1006
                    "actions": "",
1007
                    "external_fun": "",
1008
                    "inputs": "",
1009
                    "original_actions": "",
1010
                    "outputs": "",
1011
                    "variables": ""
1012
                },
1013
                "During": {
1014
                    "actions": "",
1015
                    "external_fun": "",
1016
                    "inputs": "",
1017
                    "original_actions": "",
1018
                    "outputs": "",
1019
                    "variables": ""
1020
                },
1021
                "Entry": {
1022
                    "actions": "sT3 = 1.0; ",
1023
                    "external_fun": "",
1024
                    "inputs": "sT3: real;",
1025
                    "original_actions": "sT3=1",
1026
                    "outputs": "sT3: real;",
1027
                    "variables": ""
1028
                },
1029
                "Exit": {
1030
                    "actions": "",
1031
                    "external_fun": "",
1032
                    "inputs": "",
1033
                    "original_actions": "",
1034
                    "outputs": "",
1035
                    "variables": ""
1036
                },
1037
                "On": {
1038
                    "actions": "",
1039
                    "external_fun": "",
1040
                    "inputs": "",
1041
                    "original_actions": "",
1042
                    "outputs": "",
1043
                    "variables": ""
1044
                },
1045
                "OnAfter": {
1046
                    "actions": "",
1047
                    "external_fun": "",
1048
                    "inputs": "",
1049
                    "original_actions": "",
1050
                    "outputs": "",
1051
                    "variables": ""
1052
                },
1053
                "OnAt": {
1054
                    "actions": "",
1055
                    "external_fun": "",
1056
                    "inputs": "",
1057
                    "original_actions": "",
1058
                    "outputs": "",
1059
                    "variables": ""
1060
                },
1061
                "OnBefore": {
1062
                    "actions": "",
1063
                    "external_fun": "",
1064
                    "inputs": "",
1065
                    "original_actions": "",
1066
                    "outputs": "",
1067
                    "variables": ""
1068
                },
1069
                "OnEvery": {
1070
                    "actions": "",
1071
                    "external_fun": "",
1072
                    "inputs": "",
1073
                    "original_actions": "",
1074
                    "outputs": "",
1075
                    "variables": ""
1076
                }
1077
            },
1078
            "Composition": {
1079
                "DefaultTransitions": [],
1080
                "States": [],
1081
                "Substates": [],
1082
                "Type": "EXCLUSIVE_OR"
1083
            },
1084
            "Id": 3115,
1085
            "InnerTransitions": [],
1086
            "Name": "a",
1087
            "OuterTransitions": {
1088
                "Condition": {
1089
                    "actions": "",
1090
                    "external_fun": "",
1091
                    "inputs": "",
1092
                    "original_actions": "",
1093
                    "outputs": "",
1094
                    "variables": ""
1095
                },
1096
                "ConditionAction": {
1097
                    "actions": "",
1098
                    "external_fun": "",
1099
                    "inputs": "",
1100
                    "original_actions": "",
1101
                    "outputs": "",
1102
                    "variables": ""
1103
                },
1104
                "Destination": {
1105
                    "Id": 3116,
1106
                    "Name": "Iek1_Iek1/T3/c",
1107
                    "Type": "State"
1108
                },
1109
                "Event": "exit",
1110
                "Id": 3126,
1111
                "TransitionAction": {
1112
                    "actions": "",
1113
                    "external_fun": "",
1114
                    "inputs": "",
1115
                    "original_actions": "",
1116
                    "outputs": "",
1117
                    "variables": ""
1118
                }
1119
            },
1120
            "Path": "Iek1_Iek1/T3/a"
1121
        },
1122
        {
1123
            "Actions": {
1124
                "Bind": {
1125
                    "actions": "",
1126
                    "external_fun": "",
1127
                    "inputs": "",
1128
                    "original_actions": "",
1129
                    "outputs": "",
1130
                    "variables": ""
1131
                },
1132
                "During": {
1133
                    "actions": "",
1134
                    "external_fun": "",
1135
                    "inputs": "",
1136
                    "original_actions": "",
1137
                    "outputs": "",
1138
                    "variables": ""
1139
                },
1140
                "Entry": {
1141
                    "actions": "sT3 = 3.0; ",
1142
                    "external_fun": "",
1143
                    "inputs": "sT3: real;",
1144
                    "original_actions": "sT3=3",
1145
                    "outputs": "sT3: real;",
1146
                    "variables": ""
1147
                },
1148
                "Exit": {
1149
                    "actions": "",
1150
                    "external_fun": "",
1151
                    "inputs": "",
1152
                    "original_actions": "",
1153
                    "outputs": "",
1154
                    "variables": ""
1155
                },
1156
                "On": {
1157
                    "actions": "",
1158
                    "external_fun": "",
1159
                    "inputs": "",
1160
                    "original_actions": "",
1161
                    "outputs": "",
1162
                    "variables": ""
1163
                },
1164
                "OnAfter": {
1165
                    "actions": "",
1166
                    "external_fun": "",
1167
                    "inputs": "",
1168
                    "original_actions": "",
1169
                    "outputs": "",
1170
                    "variables": ""
1171
                },
1172
                "OnAt": {
1173
                    "actions": "",
1174
                    "external_fun": "",
1175
                    "inputs": "",
1176
                    "original_actions": "",
1177
                    "outputs": "",
1178
                    "variables": ""
1179
                },
1180
                "OnBefore": {
1181
                    "actions": "",
1182
                    "external_fun": "",
1183
                    "inputs": "",
1184
                    "original_actions": "",
1185
                    "outputs": "",
1186
                    "variables": ""
1187
                },
1188
                "OnEvery": {
1189
                    "actions": "",
1190
                    "external_fun": "",
1191
                    "inputs": "",
1192
                    "original_actions": "",
1193
                    "outputs": "",
1194
                    "variables": ""
1195
                }
1196
            },
1197
            "Composition": {
1198
                "DefaultTransitions": [],
1199
                "States": [],
1200
                "Substates": [],
1201
                "Type": "EXCLUSIVE_OR"
1202
            },
1203
            "Id": 3116,
1204
            "InnerTransitions": [],
1205
            "Name": "c",
1206
            "OuterTransitions": [
1207
                {
1208
                    "Condition": {
1209
                        "actions": "",
1210
                        "external_fun": "",
1211
                        "inputs": "",
1212
                        "original_actions": "",
1213
                        "outputs": "",
1214
                        "variables": ""
1215
                    },
1216
                    "ConditionAction": {
1217
                        "actions": "",
1218
                        "external_fun": "",
1219
                        "inputs": "",
1220
                        "original_actions": "",
1221
                        "outputs": "",
1222
                        "variables": ""
1223
                    },
1224
                    "Destination": {
1225
                        "Id": 3118,
1226
                        "Name": "Iek1_Iek1/T3/d",
1227
                        "Type": "State"
1228
                    },
1229
                    "Event": "enter",
1230
                    "Id": 3130,
1231
                    "TransitionAction": {
1232
                        "actions": "",
1233
                        "external_fun": "",
1234
                        "inputs": "",
1235
                        "original_actions": "",
1236
                        "outputs": "",
1237
                        "variables": ""
1238
                    }
1239
                },
1240
                {
1241
                    "Condition": {
1242
                        "actions": "",
1243
                        "external_fun": "",
1244
                        "inputs": "",
1245
                        "original_actions": "",
1246
                        "outputs": "",
1247
                        "variables": ""
1248
                    },
1249
                    "ConditionAction": {
1250
                        "actions": "",
1251
                        "external_fun": "",
1252
                        "inputs": "",
1253
                        "original_actions": "",
1254
                        "outputs": "",
1255
                        "variables": ""
1256
                    },
1257
                    "Destination": {
1258
                        "Id": 3117,
1259
                        "Name": "Iek1_Iek1/T3/b",
1260
                        "Type": "State"
1261
                    },
1262
                    "Event": "enter",
1263
                    "Id": 3129,
1264
                    "TransitionAction": {
1265
                        "actions": "",
1266
                        "external_fun": "",
1267
                        "inputs": "",
1268
                        "original_actions": "",
1269
                        "outputs": "",
1270
                        "variables": ""
1271
                    }
1272
                }
1273
            ],
1274
            "Path": "Iek1_Iek1/T3/c"
1275
        },
1276
        {
1277
            "Actions": {
1278
                "Bind": {
1279
                    "actions": "",
1280
                    "external_fun": "",
1281
                    "inputs": "",
1282
                    "original_actions": "",
1283
                    "outputs": "",
1284
                    "variables": ""
1285
                },
1286
                "During": {
1287
                    "actions": "",
1288
                    "external_fun": "",
1289
                    "inputs": "",
1290
                    "original_actions": "",
1291
                    "outputs": "",
1292
                    "variables": ""
1293
                },
1294
                "Entry": {
1295
                    "actions": "sT3 = 4.0; ",
1296
                    "external_fun": "",
1297
                    "inputs": "sT3: real;",
1298
                    "original_actions": "sT3=4",
1299
                    "outputs": "sT3: real;",
1300
                    "variables": ""
1301
                },
1302
                "Exit": {
1303
                    "actions": "",
1304
                    "external_fun": "",
1305
                    "inputs": "",
1306
                    "original_actions": "",
1307
                    "outputs": "",
1308
                    "variables": ""
1309
                },
1310
                "On": {
1311
                    "actions": "",
1312
                    "external_fun": "",
1313
                    "inputs": "",
1314
                    "original_actions": "",
1315
                    "outputs": "",
1316
                    "variables": ""
1317
                },
1318
                "OnAfter": {
1319
                    "actions": "",
1320
                    "external_fun": "",
1321
                    "inputs": "",
1322
                    "original_actions": "",
1323
                    "outputs": "",
1324
                    "variables": ""
1325
                },
1326
                "OnAt": {
1327
                    "actions": "",
1328
                    "external_fun": "",
1329
                    "inputs": "",
1330
                    "original_actions": "",
1331
                    "outputs": "",
1332
                    "variables": ""
1333
                },
1334
                "OnBefore": {
1335
                    "actions": "",
1336
                    "external_fun": "",
1337
                    "inputs": "",
1338
                    "original_actions": "",
1339
                    "outputs": "",
1340
                    "variables": ""
1341
                },
1342
                "OnEvery": {
1343
                    "actions": "",
1344
                    "external_fun": "",
1345
                    "inputs": "",
1346
                    "original_actions": "",
1347
                    "outputs": "",
1348
                    "variables": ""
1349
                }
1350
            },
1351
            "Composition": {
1352
                "DefaultTransitions": [],
1353
                "States": [],
1354
                "Substates": [],
1355
                "Type": "EXCLUSIVE_OR"
1356
            },
1357
            "Id": 3118,
1358
            "InnerTransitions": [],
1359
            "Name": "d",
1360
            "OuterTransitions": {
1361
                "Condition": {
1362
                    "actions": "",
1363
                    "external_fun": "",
1364
                    "inputs": "",
1365
                    "original_actions": "",
1366
                    "outputs": "",
1367
                    "variables": ""
1368
                },
1369
                "ConditionAction": {
1370
                    "actions": "",
1371
                    "external_fun": "",
1372
                    "inputs": "",
1373
                    "original_actions": "",
1374
                    "outputs": "",
1375
                    "variables": ""
1376
                },
1377
                "Destination": {
1378
                    "Id": 3117,
1379
                    "Name": "Iek1_Iek1/T3/b",
1380
                    "Type": "State"
1381
                },
1382
                "Event": "exit",
1383
                "Id": 3131,
1384
                "TransitionAction": {
1385
                    "actions": "",
1386
                    "external_fun": "",
1387
                    "inputs": "",
1388
                    "original_actions": "",
1389
                    "outputs": "",
1390
                    "variables": ""
1391
                }
1392
            },
1393
            "Path": "Iek1_Iek1/T3/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": "sT3 = 2.0; ",
1415
                    "external_fun": "",
1416
                    "inputs": "sT3: real;",
1417
                    "original_actions": "sT3=2",
1418
                    "outputs": "sT3: real;",
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": 3117,
1477
            "InnerTransitions": [],
1478
            "Name": "b",
1479
            "OuterTransitions": [
1480
                {
1481
                    "Condition": {
1482
                        "actions": "",
1483
                        "external_fun": "",
1484
                        "inputs": "",
1485
                        "original_actions": "",
1486
                        "outputs": "",
1487
                        "variables": ""
1488
                    },
1489
                    "ConditionAction": {
1490
                        "actions": "",
1491
                        "external_fun": "",
1492
                        "inputs": "",
1493
                        "original_actions": "",
1494
                        "outputs": "",
1495
                        "variables": ""
1496
                    },
1497
                    "Destination": {
1498
                        "Id": 3115,
1499
                        "Name": "Iek1_Iek1/T3/a",
1500
                        "Type": "State"
1501
                    },
1502
                    "Event": "enter",
1503
                    "Id": 3128,
1504
                    "TransitionAction": {
1505
                        "actions": "",
1506
                        "external_fun": "",
1507
                        "inputs": "",
1508
                        "original_actions": "",
1509
                        "outputs": "",
1510
                        "variables": ""
1511
                    }
1512
                },
1513
                {
1514
                    "Condition": {
1515
                        "actions": "",
1516
                        "external_fun": "",
1517
                        "inputs": "",
1518
                        "original_actions": "",
1519
                        "outputs": "",
1520
                        "variables": ""
1521
                    },
1522
                    "ConditionAction": {
1523
                        "actions": "",
1524
                        "external_fun": "",
1525
                        "inputs": "",
1526
                        "original_actions": "",
1527
                        "outputs": "",
1528
                        "variables": ""
1529
                    },
1530
                    "Destination": {
1531
                        "Id": 3116,
1532
                        "Name": "Iek1_Iek1/T3/c",
1533
                        "Type": "State"
1534
                    },
1535
                    "Event": "enter",
1536
                    "Id": 3127,
1537
                    "TransitionAction": {
1538
                        "actions": "",
1539
                        "external_fun": "",
1540
                        "inputs": "",
1541
                        "original_actions": "",
1542
                        "outputs": "",
1543
                        "variables": ""
1544
                    }
1545
                }
1546
            ],
1547
            "Path": "Iek1_Iek1/T3/b"
1548
        }
1549
    ],
1550
    "TruthTables": []
1551
}