Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (52.6 KB)

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