Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (31.1 KB)

1
{
2
    "Data": [
3
        {
4
            "ArraySize": "",
5
            "CompiledType": "unknown",
6
            "Datatype": "bool",
7
            "Id": 3188,
8
            "InitialValue": "false",
9
            "Name": "start",
10
            "Port": 1,
11
            "Scope": "Input"
12
        },
13
        {
14
            "ArraySize": "",
15
            "CompiledType": "unknown",
16
            "Datatype": "bool",
17
            "Id": 3189,
18
            "InitialValue": "false",
19
            "Name": "clear",
20
            "Port": 2,
21
            "Scope": "Input"
22
        },
23
        {
24
            "ArraySize": "",
25
            "CompiledType": "unknown",
26
            "Datatype": "int",
27
            "Id": 3190,
28
            "InitialValue": "0",
29
            "Name": "steps_to_cook",
30
            "Port": 3,
31
            "Scope": "Input"
32
        },
33
        {
34
            "ArraySize": "",
35
            "CompiledType": "unknown",
36
            "Datatype": "bool",
37
            "Id": 3191,
38
            "InitialValue": "false",
39
            "Name": "door_closed",
40
            "Port": 4,
41
            "Scope": "Input"
42
        },
43
        {
44
            "ArraySize": "",
45
            "CompiledType": "unknown",
46
            "Datatype": "int",
47
            "Id": 3192,
48
            "InitialValue": "0",
49
            "Name": "mode",
50
            "Port": 1,
51
            "Scope": "Output"
52
        },
53
        {
54
            "ArraySize": "",
55
            "CompiledType": "unknown",
56
            "Datatype": "int",
57
            "Id": 3193,
58
            "InitialValue": "0",
59
            "Name": "steps_remaining",
60
            "Port": 2,
61
            "Scope": "Output"
62
        }
63
    ],
64
    "Events": [],
65
    "GraphicalFunctions": [],
66
    "Junctions": [
67
        {
68
            "Id": 3194,
69
            "Name": "Junction3194",
70
            "OuterTransitions": {
71
                "Condition": {
72
                    "actions": "start and steps_remaining > 0 ",
73
                    "external_fun": "",
74
                    "inputs": "steps_remaining: int;start: bool;",
75
                    "original_actions": "start&&steps_remaining>0",
76
                    "outputs": "",
77
                    "variables": ""
78
                },
79
                "ConditionAction": {
80
                    "actions": "",
81
                    "external_fun": "",
82
                    "inputs": "",
83
                    "original_actions": "",
84
                    "outputs": "",
85
                    "variables": ""
86
                },
87
                "Destination": {
88
                    "Id": 3180,
89
                    "Name": "Microwave_Mode_logic/RUNNING",
90
                    "Type": "State"
91
                },
92
                "Event": "",
93
                "Id": 3198,
94
                "TransitionAction": {
95
                    "actions": "",
96
                    "external_fun": "",
97
                    "inputs": "",
98
                    "original_actions": "",
99
                    "outputs": "",
100
                    "variables": ""
101
                }
102
            },
103
            "Path": "Microwave_Mode_logic/Junction3194",
104
            "Type": "CONNECTIVE"
105
        },
106
        {
107
            "Id": 3195,
108
            "Name": "Junction3195",
109
            "OuterTransitions": {
110
                "Condition": {
111
                    "actions": "",
112
                    "external_fun": "",
113
                    "inputs": "",
114
                    "original_actions": "",
115
                    "outputs": "",
116
                    "variables": ""
117
                },
118
                "ConditionAction": {
119
                    "actions": "",
120
                    "external_fun": "",
121
                    "inputs": "",
122
                    "original_actions": "",
123
                    "outputs": "",
124
                    "variables": ""
125
                },
126
                "Destination": {
127
                    "Id": 3177,
128
                    "Name": "Microwave_Mode_logic/SETUP",
129
                    "Type": "State"
130
                },
131
                "Event": "",
132
                "Id": 3199,
133
                "TransitionAction": {
134
                    "actions": "",
135
                    "external_fun": "",
136
                    "inputs": "",
137
                    "original_actions": "",
138
                    "outputs": "",
139
                    "variables": ""
140
                }
141
            },
142
            "Path": "Microwave_Mode_logic/Junction3195",
143
            "Type": "CONNECTIVE"
144
        },
145
        {
146
            "Id": 3181,
147
            "Name": "Junction3181",
148
            "OuterTransitions": [
149
                {
150
                    "Condition": {
151
                        "actions": "",
152
                        "external_fun": "",
153
                        "inputs": "",
154
                        "original_actions": "",
155
                        "outputs": "",
156
                        "variables": ""
157
                    },
158
                    "ConditionAction": {
159
                        "actions": "",
160
                        "external_fun": "",
161
                        "inputs": "",
162
                        "original_actions": "",
163
                        "outputs": "",
164
                        "variables": ""
165
                    },
166
                    "Destination": {
167
                        "Id": 3179,
168
                        "Name": "Microwave_Mode_logic/RUNNING/SUSPENDED",
169
                        "Type": "State"
170
                    },
171
                    "Event": "",
172
                    "Id": 3185,
173
                    "TransitionAction": {
174
                        "actions": "",
175
                        "external_fun": "",
176
                        "inputs": "",
177
                        "original_actions": "",
178
                        "outputs": "",
179
                        "variables": ""
180
                    }
181
                },
182
                {
183
                    "Condition": {
184
                        "actions": "door_closed ",
185
                        "external_fun": "",
186
                        "inputs": "door_closed: bool;",
187
                        "original_actions": "door_closed",
188
                        "outputs": "door_closed: bool;",
189
                        "variables": ""
190
                    },
191
                    "ConditionAction": {
192
                        "actions": "",
193
                        "external_fun": "",
194
                        "inputs": "",
195
                        "original_actions": "",
196
                        "outputs": "",
197
                        "variables": ""
198
                    },
199
                    "Destination": {
200
                        "Id": 3178,
201
                        "Name": "Microwave_Mode_logic/RUNNING/COOKING",
202
                        "Type": "State"
203
                    },
204
                    "Event": "",
205
                    "Id": 3184,
206
                    "TransitionAction": {
207
                        "actions": "",
208
                        "external_fun": "",
209
                        "inputs": "",
210
                        "original_actions": "",
211
                        "outputs": "",
212
                        "variables": ""
213
                    }
214
                }
215
            ],
216
            "Path": "Microwave_Mode_logic/RUNNING/Junction3181",
217
            "Type": "CONNECTIVE"
218
        }
219
    ],
220
    "Name": "Mode_logic",
221
    "Path": "Microwave_Mode_logic",
222
    "SimulinkFunctions": [],
223
    "States": [
224
        {
225
            "Actions": {
226
                "Bind": {
227
                    "actions": "",
228
                    "external_fun": "",
229
                    "inputs": "",
230
                    "original_actions": "",
231
                    "outputs": "",
232
                    "variables": ""
233
                },
234
                "During": {
235
                    "actions": "",
236
                    "external_fun": "",
237
                    "inputs": "",
238
                    "original_actions": "",
239
                    "outputs": "",
240
                    "variables": ""
241
                },
242
                "Entry": {
243
                    "actions": "",
244
                    "external_fun": "",
245
                    "inputs": "",
246
                    "original_actions": "",
247
                    "outputs": "",
248
                    "variables": ""
249
                },
250
                "Exit": {
251
                    "actions": "",
252
                    "external_fun": "",
253
                    "inputs": "",
254
                    "original_actions": "",
255
                    "outputs": "",
256
                    "variables": ""
257
                },
258
                "On": {
259
                    "actions": "",
260
                    "external_fun": "",
261
                    "inputs": "",
262
                    "original_actions": "",
263
                    "outputs": "",
264
                    "variables": ""
265
                },
266
                "OnAfter": {
267
                    "actions": "",
268
                    "external_fun": "",
269
                    "inputs": "",
270
                    "original_actions": "",
271
                    "outputs": "",
272
                    "variables": ""
273
                },
274
                "OnAt": {
275
                    "actions": "",
276
                    "external_fun": "",
277
                    "inputs": "",
278
                    "original_actions": "",
279
                    "outputs": "",
280
                    "variables": ""
281
                },
282
                "OnBefore": {
283
                    "actions": "",
284
                    "external_fun": "",
285
                    "inputs": "",
286
                    "original_actions": "",
287
                    "outputs": "",
288
                    "variables": ""
289
                },
290
                "OnEvery": {
291
                    "actions": "",
292
                    "external_fun": "",
293
                    "inputs": "",
294
                    "original_actions": "",
295
                    "outputs": "",
296
                    "variables": ""
297
                }
298
            },
299
            "Composition": {
300
                "DefaultTransitions": {
301
                    "Condition": {
302
                        "actions": "",
303
                        "external_fun": "",
304
                        "inputs": "",
305
                        "original_actions": "",
306
                        "outputs": "",
307
                        "variables": ""
308
                    },
309
                    "ConditionAction": {
310
                        "actions": "",
311
                        "external_fun": "",
312
                        "inputs": "",
313
                        "original_actions": "",
314
                        "outputs": "",
315
                        "variables": ""
316
                    },
317
                    "Destination": {
318
                        "Id": 3177,
319
                        "Name": "Microwave_Mode_logic/SETUP",
320
                        "Type": "State"
321
                    },
322
                    "Event": "",
323
                    "Id": 3196,
324
                    "TransitionAction": {
325
                        "actions": "",
326
                        "external_fun": "",
327
                        "inputs": "",
328
                        "original_actions": "",
329
                        "outputs": "",
330
                        "variables": ""
331
                    }
332
                },
333
                "States": [
334
                    3177,
335
                    3180
336
                ],
337
                "Substates": [
338
                    "SETUP",
339
                    "RUNNING"
340
                ],
341
                "Type": "EXCLUSIVE_OR"
342
            },
343
            "Id": 3176,
344
            "InnerTransitions": [],
345
            "OuterTransitions": [],
346
            "Path": "Microwave_Mode_logic"
347
        },
348
        {
349
            "Actions": {
350
                "Bind": {
351
                    "actions": "",
352
                    "external_fun": "",
353
                    "inputs": "",
354
                    "original_actions": "",
355
                    "outputs": "",
356
                    "variables": ""
357
                },
358
                "During": {
359
                    "actions": "",
360
                    "external_fun": "",
361
                    "inputs": "",
362
                    "original_actions": "",
363
                    "outputs": "",
364
                    "variables": ""
365
                },
366
                "Entry": {
367
                    "actions": "",
368
                    "external_fun": "",
369
                    "inputs": "",
370
                    "original_actions": "\nmode=1;\nsteps_remaining=steps_to_cook;",
371
                    "outputs": "",
372
                    "variables": ""
373
                },
374
                "Exit": {
375
                    "actions": "",
376
                    "external_fun": "",
377
                    "inputs": "",
378
                    "original_actions": "",
379
                    "outputs": "",
380
                    "variables": ""
381
                },
382
                "On": {
383
                    "actions": "",
384
                    "external_fun": "",
385
                    "inputs": "",
386
                    "original_actions": "",
387
                    "outputs": "",
388
                    "variables": ""
389
                },
390
                "OnAfter": {
391
                    "actions": "",
392
                    "external_fun": "",
393
                    "inputs": "",
394
                    "original_actions": "",
395
                    "outputs": "",
396
                    "variables": ""
397
                },
398
                "OnAt": {
399
                    "actions": "",
400
                    "external_fun": "",
401
                    "inputs": "",
402
                    "original_actions": "",
403
                    "outputs": "",
404
                    "variables": ""
405
                },
406
                "OnBefore": {
407
                    "actions": "",
408
                    "external_fun": "",
409
                    "inputs": "",
410
                    "original_actions": "",
411
                    "outputs": "",
412
                    "variables": ""
413
                },
414
                "OnEvery": {
415
                    "actions": "",
416
                    "external_fun": "",
417
                    "inputs": "",
418
                    "original_actions": "",
419
                    "outputs": "",
420
                    "variables": ""
421
                }
422
            },
423
            "Composition": {
424
                "DefaultTransitions": [],
425
                "States": [],
426
                "Substates": [],
427
                "Type": "EXCLUSIVE_OR"
428
            },
429
            "Id": 3177,
430
            "InnerTransitions": [],
431
            "Name": "SETUP",
432
            "OuterTransitions": {
433
                "Condition": {
434
                    "actions": "",
435
                    "external_fun": "",
436
                    "inputs": "",
437
                    "original_actions": "",
438
                    "outputs": "",
439
                    "variables": ""
440
                },
441
                "ConditionAction": {
442
                    "actions": "steps_remaining = steps_to_cook; ",
443
                    "external_fun": "",
444
                    "inputs": "steps_remaining: int;steps_to_cook: int;",
445
                    "original_actions": "steps_remaining=steps_to_cook;",
446
                    "outputs": "steps_remaining: int;",
447
                    "variables": ""
448
                },
449
                "Destination": {
450
                    "Id": 3194,
451
                    "Name": "Microwave_Mode_logic/Junction3194",
452
                    "Type": "Junction"
453
                },
454
                "Event": "",
455
                "Id": 3197,
456
                "TransitionAction": {
457
                    "actions": "",
458
                    "external_fun": "",
459
                    "inputs": "",
460
                    "original_actions": "",
461
                    "outputs": "",
462
                    "variables": ""
463
                }
464
            },
465
            "Path": "Microwave_Mode_logic/SETUP"
466
        },
467
        {
468
            "Actions": {
469
                "Bind": {
470
                    "actions": "",
471
                    "external_fun": "",
472
                    "inputs": "",
473
                    "original_actions": "",
474
                    "outputs": "",
475
                    "variables": ""
476
                },
477
                "During": {
478
                    "actions": "",
479
                    "external_fun": "",
480
                    "inputs": "",
481
                    "original_actions": "",
482
                    "outputs": "",
483
                    "variables": ""
484
                },
485
                "Entry": {
486
                    "actions": "",
487
                    "external_fun": "",
488
                    "inputs": "",
489
                    "original_actions": "",
490
                    "outputs": "",
491
                    "variables": ""
492
                },
493
                "Exit": {
494
                    "actions": "",
495
                    "external_fun": "",
496
                    "inputs": "",
497
                    "original_actions": "",
498
                    "outputs": "",
499
                    "variables": ""
500
                },
501
                "On": {
502
                    "actions": "",
503
                    "external_fun": "",
504
                    "inputs": "",
505
                    "original_actions": "",
506
                    "outputs": "",
507
                    "variables": ""
508
                },
509
                "OnAfter": {
510
                    "actions": "",
511
                    "external_fun": "",
512
                    "inputs": "",
513
                    "original_actions": "",
514
                    "outputs": "",
515
                    "variables": ""
516
                },
517
                "OnAt": {
518
                    "actions": "",
519
                    "external_fun": "",
520
                    "inputs": "",
521
                    "original_actions": "",
522
                    "outputs": "",
523
                    "variables": ""
524
                },
525
                "OnBefore": {
526
                    "actions": "",
527
                    "external_fun": "",
528
                    "inputs": "",
529
                    "original_actions": "",
530
                    "outputs": "",
531
                    "variables": ""
532
                },
533
                "OnEvery": {
534
                    "actions": "",
535
                    "external_fun": "",
536
                    "inputs": "",
537
                    "original_actions": "",
538
                    "outputs": "",
539
                    "variables": ""
540
                }
541
            },
542
            "Composition": {
543
                "DefaultTransitions": {
544
                    "Condition": {
545
                        "actions": "",
546
                        "external_fun": "",
547
                        "inputs": "",
548
                        "original_actions": "",
549
                        "outputs": "",
550
                        "variables": ""
551
                    },
552
                    "ConditionAction": {
553
                        "actions": "",
554
                        "external_fun": "",
555
                        "inputs": "",
556
                        "original_actions": "",
557
                        "outputs": "",
558
                        "variables": ""
559
                    },
560
                    "Destination": {
561
                        "Id": 3181,
562
                        "Name": "Microwave_Mode_logic/RUNNING/Junction3181",
563
                        "Type": "Junction"
564
                    },
565
                    "Event": "",
566
                    "Id": 3183,
567
                    "TransitionAction": {
568
                        "actions": "",
569
                        "external_fun": "",
570
                        "inputs": "",
571
                        "original_actions": "",
572
                        "outputs": "",
573
                        "variables": ""
574
                    }
575
                },
576
                "States": [
577
                    3178,
578
                    3179
579
                ],
580
                "Substates": [
581
                    "COOKING",
582
                    "SUSPENDED"
583
                ],
584
                "Type": "EXCLUSIVE_OR"
585
            },
586
            "Id": 3180,
587
            "InnerTransitions": [],
588
            "Name": "RUNNING",
589
            "OuterTransitions": {
590
                "Condition": {
591
                    "actions": "steps_remaining <= 0 ",
592
                    "external_fun": "",
593
                    "inputs": "steps_remaining: int;",
594
                    "original_actions": "steps_remaining<=0",
595
                    "outputs": "",
596
                    "variables": ""
597
                },
598
                "ConditionAction": {
599
                    "actions": "",
600
                    "external_fun": "",
601
                    "inputs": "",
602
                    "original_actions": "",
603
                    "outputs": "",
604
                    "variables": ""
605
                },
606
                "Destination": {
607
                    "Id": 3195,
608
                    "Name": "Microwave_Mode_logic/Junction3195",
609
                    "Type": "Junction"
610
                },
611
                "Event": "",
612
                "Id": 3200,
613
                "TransitionAction": {
614
                    "actions": "",
615
                    "external_fun": "",
616
                    "inputs": "",
617
                    "original_actions": "",
618
                    "outputs": "",
619
                    "variables": ""
620
                }
621
            },
622
            "Path": "Microwave_Mode_logic/RUNNING"
623
        },
624
        {
625
            "Actions": {
626
                "Bind": {
627
                    "actions": "",
628
                    "external_fun": "",
629
                    "inputs": "",
630
                    "original_actions": "",
631
                    "outputs": "",
632
                    "variables": ""
633
                },
634
                "During": {
635
                    "actions": "",
636
                    "external_fun": "",
637
                    "inputs": "",
638
                    "original_actions": "",
639
                    "outputs": "",
640
                    "variables": ""
641
                },
642
                "Entry": {
643
                    "actions": "",
644
                    "external_fun": "",
645
                    "inputs": "",
646
                    "original_actions": "mode=2;",
647
                    "outputs": "",
648
                    "variables": ""
649
                },
650
                "Exit": {
651
                    "actions": "",
652
                    "external_fun": "",
653
                    "inputs": "",
654
                    "original_actions": "",
655
                    "outputs": "",
656
                    "variables": ""
657
                },
658
                "On": {
659
                    "actions": "",
660
                    "external_fun": "",
661
                    "inputs": "",
662
                    "original_actions": "",
663
                    "outputs": "",
664
                    "variables": ""
665
                },
666
                "OnAfter": {
667
                    "actions": "",
668
                    "external_fun": "",
669
                    "inputs": "",
670
                    "original_actions": "",
671
                    "outputs": "",
672
                    "variables": ""
673
                },
674
                "OnAt": {
675
                    "actions": "",
676
                    "external_fun": "",
677
                    "inputs": "",
678
                    "original_actions": "",
679
                    "outputs": "",
680
                    "variables": ""
681
                },
682
                "OnBefore": {
683
                    "actions": "",
684
                    "external_fun": "",
685
                    "inputs": "",
686
                    "original_actions": "",
687
                    "outputs": "",
688
                    "variables": ""
689
                },
690
                "OnEvery": {
691
                    "actions": "",
692
                    "external_fun": "",
693
                    "inputs": "",
694
                    "original_actions": "",
695
                    "outputs": "",
696
                    "variables": ""
697
                }
698
            },
699
            "Composition": {
700
                "DefaultTransitions": [],
701
                "States": [],
702
                "Substates": [],
703
                "Type": "EXCLUSIVE_OR"
704
            },
705
            "Id": 3178,
706
            "InnerTransitions": [],
707
            "Name": "COOKING",
708
            "OuterTransitions": [
709
                {
710
                    "Condition": {
711
                        "actions": "",
712
                        "external_fun": "",
713
                        "inputs": "steps_remaining: int;",
714
                        "original_actions": "steps_remaining>0]\n/steps_remaining--;",
715
                        "outputs": "",
716
                        "variables": ""
717
                    },
718
                    "ConditionAction": {
719
                        "actions": "",
720
                        "external_fun": "",
721
                        "inputs": "",
722
                        "original_actions": "",
723
                        "outputs": "",
724
                        "variables": ""
725
                    },
726
                    "Destination": {
727
                        "Id": 3178,
728
                        "Name": "Microwave_Mode_logic/RUNNING/COOKING",
729
                        "Type": "State"
730
                    },
731
                    "Event": "",
732
                    "Id": 3182,
733
                    "TransitionAction": {
734
                        "actions": "",
735
                        "external_fun": "",
736
                        "inputs": "",
737
                        "original_actions": "",
738
                        "outputs": "",
739
                        "variables": ""
740
                    }
741
                },
742
                {
743
                    "Condition": {
744
                        "actions": "",
745
                        "external_fun": "",
746
                        "inputs": "",
747
                        "original_actions": "clear||...\n!door_closed",
748
                        "outputs": "",
749
                        "variables": ""
750
                    },
751
                    "ConditionAction": {
752
                        "actions": "",
753
                        "external_fun": "",
754
                        "inputs": "",
755
                        "original_actions": "",
756
                        "outputs": "",
757
                        "variables": ""
758
                    },
759
                    "Destination": {
760
                        "Id": 3179,
761
                        "Name": "Microwave_Mode_logic/RUNNING/SUSPENDED",
762
                        "Type": "State"
763
                    },
764
                    "Event": "",
765
                    "Id": 3187,
766
                    "TransitionAction": {
767
                        "actions": "",
768
                        "external_fun": "",
769
                        "inputs": "",
770
                        "original_actions": "",
771
                        "outputs": "",
772
                        "variables": ""
773
                    }
774
                }
775
            ],
776
            "Path": "Microwave_Mode_logic/RUNNING/COOKING"
777
        },
778
        {
779
            "Actions": {
780
                "Bind": {
781
                    "actions": "",
782
                    "external_fun": "",
783
                    "inputs": "",
784
                    "original_actions": "",
785
                    "outputs": "",
786
                    "variables": ""
787
                },
788
                "During": {
789
                    "actions": "",
790
                    "external_fun": "",
791
                    "inputs": "",
792
                    "original_actions": "",
793
                    "outputs": "",
794
                    "variables": ""
795
                },
796
                "Entry": {
797
                    "actions": "",
798
                    "external_fun": "",
799
                    "inputs": "",
800
                    "original_actions": "mode=3;",
801
                    "outputs": "",
802
                    "variables": ""
803
                },
804
                "Exit": {
805
                    "actions": "",
806
                    "external_fun": "",
807
                    "inputs": "",
808
                    "original_actions": "",
809
                    "outputs": "",
810
                    "variables": ""
811
                },
812
                "On": {
813
                    "actions": "",
814
                    "external_fun": "",
815
                    "inputs": "",
816
                    "original_actions": "",
817
                    "outputs": "",
818
                    "variables": ""
819
                },
820
                "OnAfter": {
821
                    "actions": "",
822
                    "external_fun": "",
823
                    "inputs": "",
824
                    "original_actions": "",
825
                    "outputs": "",
826
                    "variables": ""
827
                },
828
                "OnAt": {
829
                    "actions": "",
830
                    "external_fun": "",
831
                    "inputs": "",
832
                    "original_actions": "",
833
                    "outputs": "",
834
                    "variables": ""
835
                },
836
                "OnBefore": {
837
                    "actions": "",
838
                    "external_fun": "",
839
                    "inputs": "",
840
                    "original_actions": "",
841
                    "outputs": "",
842
                    "variables": ""
843
                },
844
                "OnEvery": {
845
                    "actions": "",
846
                    "external_fun": "",
847
                    "inputs": "",
848
                    "original_actions": "",
849
                    "outputs": "",
850
                    "variables": ""
851
                }
852
            },
853
            "Composition": {
854
                "DefaultTransitions": [],
855
                "States": [],
856
                "Substates": [],
857
                "Type": "EXCLUSIVE_OR"
858
            },
859
            "Id": 3179,
860
            "InnerTransitions": [],
861
            "Name": "SUSPENDED",
862
            "OuterTransitions": [
863
                {
864
                    "Condition": {
865
                        "actions": "",
866
                        "external_fun": "",
867
                        "inputs": "",
868
                        "original_actions": "clear",
869
                        "outputs": "",
870
                        "variables": ""
871
                    },
872
                    "ConditionAction": {
873
                        "actions": "",
874
                        "external_fun": "",
875
                        "inputs": "",
876
                        "original_actions": "",
877
                        "outputs": "",
878
                        "variables": ""
879
                    },
880
                    "Destination": {
881
                        "Id": 3195,
882
                        "Name": "Microwave_Mode_logic/Junction3195",
883
                        "Type": "Junction"
884
                    },
885
                    "Event": "",
886
                    "Id": 3201,
887
                    "TransitionAction": {
888
                        "actions": "",
889
                        "external_fun": "",
890
                        "inputs": "",
891
                        "original_actions": "",
892
                        "outputs": "",
893
                        "variables": ""
894
                    }
895
                },
896
                {
897
                    "Condition": {
898
                        "actions": "start and door_closed ",
899
                        "external_fun": "",
900
                        "inputs": "door_closed: bool;start: bool;",
901
                        "original_actions": "start&&...\ndoor_closed",
902
                        "outputs": "",
903
                        "variables": ""
904
                    },
905
                    "ConditionAction": {
906
                        "actions": "",
907
                        "external_fun": "",
908
                        "inputs": "",
909
                        "original_actions": "",
910
                        "outputs": "",
911
                        "variables": ""
912
                    },
913
                    "Destination": {
914
                        "Id": 3178,
915
                        "Name": "Microwave_Mode_logic/RUNNING/COOKING",
916
                        "Type": "State"
917
                    },
918
                    "Event": "",
919
                    "Id": 3186,
920
                    "TransitionAction": {
921
                        "actions": "",
922
                        "external_fun": "",
923
                        "inputs": "",
924
                        "original_actions": "",
925
                        "outputs": "",
926
                        "variables": ""
927
                    }
928
                }
929
            ],
930
            "Path": "Microwave_Mode_logic/RUNNING/SUSPENDED"
931
        }
932
    ],
933
    "TruthTables": []
934
}