-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathprocess_order_graph.dot
More file actions
1637 lines (1637 loc) · 177 KB
/
process_order_graph.dot
File metadata and controls
1637 lines (1637 loc) · 177 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
digraph communication_graph {
rankdir=BT;
size="8,5;"
layer_0 [ color="#ff0000" label="layer 0"];
Firm_Firm_send_id_to_malls_start_Firm_Firm_initialize [ shape = rect label="Firm_Firm_send_id_to_malls_start_Firm_Firm_initialize [-6]" ];
Firm_Firm_send_id_to_malls_start_Firm_Firm_initialize -> layer_0;
Mall_Mall_send_id_to_firms_start_Mall_Mall_initialize [ shape = rect label="Mall_Mall_send_id_to_firms_start_Mall_Mall_initialize [-13]" ];
Mall_Mall_send_id_to_firms_start_Mall_Mall_initialize -> Firm_Firm_send_id_to_malls_start_Firm_Firm_initialize;
ClearingHouse_ClearingHouse_send_index_info_start_Clearinghouse_AFM_00 [ shape = rect label="ClearingHouse_ClearingHouse_send_index_info_start_Clearinghouse_AFM_00 [-100]" ];
ClearingHouse_ClearingHouse_send_index_info_start_Clearinghouse_AFM_00 -> Mall_Mall_send_id_to_firms_start_Mall_Mall_initialize;
ClearingHouse_idle_start_Clearinghouse_AFM_00 [ shape = rect label="ClearingHouse_idle_start_Clearinghouse_AFM_00 [0]" ];
ClearingHouse_idle_start_Clearinghouse_AFM_00 -> ClearingHouse_ClearingHouse_send_index_info_start_Clearinghouse_AFM_00;
CentralBank_idle_start_Central_Bank_CB_market_operations [ shape = rect label="CentralBank_idle_start_Central_Bank_CB_market_operations [0]" ];
CentralBank_idle_start_Central_Bank_CB_market_operations -> ClearingHouse_idle_start_Clearinghouse_AFM_00;
CentralBank_Central_Bank_reset_variables_start_Central_Bank_CB_reset [ shape = rect label="CentralBank_Central_Bank_reset_variables_start_Central_Bank_CB_reset [0]" ];
CentralBank_Central_Bank_reset_variables_start_Central_Bank_CB_reset -> CentralBank_idle_start_Central_Bank_CB_market_operations;
Government_idle_start_Government_Government_Start_Monthly_Loop_Top [ shape = rect label="Government_idle_start_Government_Government_Start_Monthly_Loop_Top [0]" ];
Government_idle_start_Government_Government_Start_Monthly_Loop_Top -> CentralBank_Central_Bank_reset_variables_start_Central_Bank_CB_reset;
Government_Government_initialization_start_Government_Government_Start_Monthly_Loop_Top [ shape = rect label="Government_Government_initialization_start_Government_Government_Start_Monthly_Loop_Top [0]" ];
Government_Government_initialization_start_Government_Government_Start_Monthly_Loop_Top -> Government_idle_start_Government_Government_Start_Monthly_Loop_Top;
Bank_idle_start_Bank_Bank_update_policy_rate [ shape = rect label="Bank_idle_start_Bank_Bank_update_policy_rate [0]" ];
Bank_idle_start_Bank_Bank_update_policy_rate -> Government_Government_initialization_start_Government_Government_Start_Monthly_Loop_Top;
Eurostat_idle_start_Eurostat_00 [ shape = rect label="Eurostat_idle_start_Eurostat_00 [0]" ];
Eurostat_idle_start_Eurostat_00 -> Bank_idle_start_Bank_Bank_update_policy_rate;
Eurostat_Eurostat_initialization_start_Eurostat_00 [ shape = rect label="Eurostat_Eurostat_initialization_start_Eurostat_00 [0]" ];
Eurostat_Eurostat_initialization_start_Eurostat_00 -> Eurostat_idle_start_Eurostat_00;
IGFirm_idle_IGFirm_start_IGFirm_interest [ shape = rect label="IGFirm_idle_IGFirm_start_IGFirm_interest [0]" ];
IGFirm_idle_IGFirm_start_IGFirm_interest -> Eurostat_Eurostat_initialization_start_Eurostat_00;
IGFirm_IGFirm_reset_variables_IGFirm_start_IGFirm_init_01 [ shape = rect label="IGFirm_IGFirm_reset_variables_IGFirm_start_IGFirm_init_01 [0]" ];
IGFirm_IGFirm_reset_variables_IGFirm_start_IGFirm_init_01 -> IGFirm_idle_IGFirm_start_IGFirm_interest;
Mall_idle_start_Mall_001 [ shape = rect label="Mall_idle_start_Mall_001 [0]" ];
Mall_idle_start_Mall_001 -> IGFirm_IGFirm_reset_variables_IGFirm_start_IGFirm_init_01;
Household_idle_start_Household_Household_initialize [ shape = rect label="Household_idle_start_Household_Household_initialize [0]" ];
Household_idle_start_Household_Household_initialize -> Mall_idle_start_Mall_001;
Household_Household_reset_variables_start_Household_Household_initialize [ shape = rect label="Household_Household_reset_variables_start_Household_Household_initialize [0]" ];
Household_Household_reset_variables_start_Household_Household_initialize -> Household_idle_start_Household_Household_initialize;
Firm_idle_start_Firm_Firm_reset [ shape = rect label="Firm_idle_start_Firm_Firm_reset [0]" ];
Firm_idle_start_Firm_Firm_reset -> Household_Household_reset_variables_start_Household_Household_initialize;
layer_1 [ color="#ff0000" label="layer 1"];
layer_1 ->Firm_idle_start_Firm_Firm_reset;
ClearingHouse_ClearingHouse_send_index_price_AFM_00_AFM_01 [ shape = rect label="ClearingHouse_ClearingHouse_send_index_price_AFM_00_AFM_01 [-87]" ];
ClearingHouse_ClearingHouse_send_index_price_AFM_00_AFM_01 -> layer_1;
Eurostat_Eurostat_send_data_00_01 [ shape = rect label="Eurostat_Eurostat_send_data_00_01 [-101]" ];
Eurostat_Eurostat_send_data_00_01 -> ClearingHouse_ClearingHouse_send_index_price_AFM_00_AFM_01;
Government_idle_Government_Start_Monthly_Loop_Top_Government_Start_Yearly_Loop_Top [ shape = rect label="Government_idle_Government_Start_Monthly_Loop_Top_Government_Start_Yearly_Loop_Top [0]" ];
Government_idle_Government_Start_Monthly_Loop_Top_Government_Start_Yearly_Loop_Top -> Eurostat_Eurostat_send_data_00_01;
Government_Government_monthly_resetting_Government_Start_Monthly_Loop_Top_001 [ shape = rect label="Government_Government_monthly_resetting_Government_Start_Monthly_Loop_Top_001 [0]" ];
Government_Government_monthly_resetting_Government_Start_Monthly_Loop_Top_001 -> Government_idle_Government_Start_Monthly_Loop_Top_Government_Start_Yearly_Loop_Top;
Eurostat_Eurostat_idle_00_01 [ shape = rect label="Eurostat_Eurostat_idle_00_01 [0]" ];
Eurostat_Eurostat_idle_00_01 -> Government_Government_monthly_resetting_Government_Start_Monthly_Loop_Top_001;
Household_idle_Household_initialize_Household_Start_Yearly_Loop_Top [ shape = rect label="Household_idle_Household_initialize_Household_Start_Yearly_Loop_Top [0]" ];
Household_idle_Household_initialize_Household_Start_Yearly_Loop_Top -> Eurostat_Eurostat_idle_00_01;
Household_Household_initialization_Household_initialize_Household_Start_Yearly_Loop_Top [ shape = rect label="Household_Household_initialization_Household_initialize_Household_Start_Yearly_Loop_Top [0]" ];
Household_Household_initialization_Household_initialize_Household_Start_Yearly_Loop_Top -> Household_idle_Household_initialize_Household_Start_Yearly_Loop_Top;
Firm_Firm_initialize_mall_arrays_Firm_initialize_Firm_reset [ shape = rect label="Firm_Firm_initialize_mall_arrays_Firm_initialize_Firm_reset [13]" ];
Firm_Firm_initialize_mall_arrays_Firm_initialize_Firm_reset -> Household_Household_initialization_Household_initialize_Household_Start_Yearly_Loop_Top;
Mall_Mall_initialize_firm_arrays_Mall_initialize_001 [ shape = rect label="Mall_Mall_initialize_firm_arrays_Mall_initialize_001 [6]" ];
Mall_Mall_initialize_firm_arrays_Mall_initialize_001 -> Firm_Firm_initialize_mall_arrays_Firm_initialize_Firm_reset;
layer_2 [ color="#ff0000" label="layer 2"];
layer_2 ->Mall_Mall_initialize_firm_arrays_Mall_initialize_001;
CentralBank_Central_Bank_monetary_policy_CB_reset_CB_market_operations [ shape = rect label="CentralBank_Central_Bank_monetary_policy_CB_reset_CB_market_operations [-23]" ];
CentralBank_Central_Bank_monetary_policy_CB_reset_CB_market_operations -> layer_2;
Eurostat_Eurostat_idle_01_Eurostat_Start_Monthly_Loop [ shape = rect label="Eurostat_Eurostat_idle_01_Eurostat_Start_Monthly_Loop [0]" ];
Eurostat_Eurostat_idle_01_Eurostat_Start_Monthly_Loop -> CentralBank_Central_Bank_monetary_policy_CB_reset_CB_market_operations;
Mall_idle_001_01 [ shape = rect label="Mall_idle_001_01 [0]" ];
Mall_idle_001_01 -> Eurostat_Eurostat_idle_01_Eurostat_Start_Monthly_Loop;
Mall_Mall_reset_export_data_001_01 [ shape = rect label="Mall_Mall_reset_export_data_001_01 [0]" ];
Mall_Mall_reset_export_data_001_01 -> Mall_idle_001_01;
Household_idle_Household_Start_Yearly_Loop_Top_Household_Start_Policy_Data [ shape = rect label="Household_idle_Household_Start_Yearly_Loop_Top_Household_Start_Policy_Data [0]" ];
Household_idle_Household_Start_Yearly_Loop_Top_Household_Start_Policy_Data -> Mall_Mall_reset_export_data_001_01;
Firm_idle_Firm_reset_Firm_interest [ shape = rect label="Firm_idle_Firm_reset_Firm_interest [0]" ];
Firm_idle_Firm_reset_Firm_interest -> Household_idle_Household_Start_Yearly_Loop_Top_Household_Start_Policy_Data;
Firm_Firm_reset_variables_Firm_reset_Firm_init_01 [ shape = rect label="Firm_Firm_reset_variables_Firm_reset_Firm_init_01 [0]" ];
Firm_Firm_reset_variables_Firm_reset_Firm_init_01 -> Firm_idle_Firm_reset_Firm_interest;
Government_Government_read_data_from_Eurostat_001_Government_Start_Yearly_Loop_Top [ shape = rect label="Government_Government_read_data_from_Eurostat_001_Government_Start_Yearly_Loop_Top [18]" ];
Government_Government_read_data_from_Eurostat_001_Government_Start_Yearly_Loop_Top -> Firm_Firm_reset_variables_Firm_reset_Firm_init_01;
layer_3 [ color="#ff0000" label="layer 3"];
layer_3 ->Government_Government_read_data_from_Eurostat_001_Government_Start_Yearly_Loop_Top;
CentralBank_Central_Bank_dummy_CB_market_operations_CB_financial_operations_end [ shape = rect label="CentralBank_Central_Bank_dummy_CB_market_operations_CB_financial_operations_end [0]" ];
CentralBank_Central_Bank_dummy_CB_market_operations_CB_financial_operations_end -> layer_3;
Government_idle_Government_Start_Yearly_Loop_Top_003b [ shape = rect label="Government_idle_Government_Start_Yearly_Loop_Top_003b [0]" ];
Government_idle_Government_Start_Yearly_Loop_Top_003b -> CentralBank_Central_Bank_dummy_CB_market_operations_CB_financial_operations_end;
Government_Government_set_policy_Government_Start_Yearly_Loop_Top_002 [ shape = rect label="Government_Government_set_policy_Government_Start_Yearly_Loop_Top_002 [0]" ];
Government_Government_set_policy_Government_Start_Yearly_Loop_Top_002 -> Government_idle_Government_Start_Yearly_Loop_Top_003b;
layer_4 [ color="#ff0000" label="layer 4"];
layer_4 ->Government_Government_set_policy_Government_Start_Yearly_Loop_Top_002;
Government_Government_send_policy_announcements_002_003 [ shape = rect label="Government_Government_send_policy_announcements_002_003 [-6]" ];
Government_Government_send_policy_announcements_002_003 -> layer_4;
CentralBank_idle_CB_financial_operations_end_00 [ shape = rect label="CentralBank_idle_CB_financial_operations_end_00 [0]" ];
CentralBank_idle_CB_financial_operations_end_00 -> Government_Government_send_policy_announcements_002_003;
layer_5 [ color="#ff0000" label="layer 5"];
layer_5 ->CentralBank_idle_CB_financial_operations_end_00;
Government_Government_idle_003_003a [ shape = rect label="Government_Government_idle_003_003a [0]" ];
Government_Government_idle_003_003a -> layer_5;
Firm_Firm_receive_data_Firm_init_01_Firm_interest [ shape = rect label="Firm_Firm_receive_data_Firm_init_01_Firm_interest [71]" ];
Firm_Firm_receive_data_Firm_init_01_Firm_interest -> Government_Government_idle_003_003a;
IGFirm_IGFirm_receive_data_IGFirm_init_01_IGFirm_interest [ shape = rect label="IGFirm_IGFirm_receive_data_IGFirm_init_01_IGFirm_interest [43]" ];
IGFirm_IGFirm_receive_data_IGFirm_init_01_IGFirm_interest -> Firm_Firm_receive_data_Firm_init_01_Firm_interest;
Household_Household_read_policy_announcements_Household_Start_Yearly_Loop_Top_Pol_01 [ shape = rect label="Household_Household_read_policy_announcements_Household_Start_Yearly_Loop_Top_Pol_01 [8]" ];
Household_Household_read_policy_announcements_Household_Start_Yearly_Loop_Top_Pol_01 -> IGFirm_IGFirm_receive_data_IGFirm_init_01_IGFirm_interest;
Bank_Bank_read_policy_announcements_start_Bank_Bank_reset [ shape = rect label="Bank_Bank_read_policy_announcements_start_Bank_Bank_reset [2]" ];
Bank_Bank_read_policy_announcements_start_Bank_Bank_reset -> Household_Household_read_policy_announcements_Household_Start_Yearly_Loop_Top_Pol_01;
layer_6 [ color="#ff0000" label="layer 6"];
layer_6 ->Bank_Bank_read_policy_announcements_start_Bank_Bank_reset;
Government_Government_install_human_capital_policy_003_003a [ shape = rect label="Government_Government_install_human_capital_policy_003_003a [-6]" ];
Government_Government_install_human_capital_policy_003_003a -> layer_6;
Bank_Bank_reset_variables_Bank_reset_Bank_update_policy_rate [ shape = rect label="Bank_Bank_reset_variables_Bank_reset_Bank_update_policy_rate [0]" ];
Bank_Bank_reset_variables_Bank_reset_Bank_update_policy_rate -> Government_Government_install_human_capital_policy_003_003a;
Household_Household_idle_Pol_01_Household_Start_Policy_Data [ shape = rect label="Household_Household_idle_Pol_01_Household_Start_Policy_Data [0]" ];
Household_Household_idle_Pol_01_Household_Start_Policy_Data -> Bank_Bank_reset_variables_Bank_reset_Bank_update_policy_rate;
layer_7 [ color="#ff0000" label="layer 7"];
layer_7 ->Household_Household_idle_Pol_01_Household_Start_Policy_Data;
Government_Government_yearly_resetting_003a_003b [ shape = rect label="Government_Government_yearly_resetting_003a_003b [0]" ];
Government_Government_yearly_resetting_003a_003b -> layer_7;
Bank_idle_Bank_update_policy_rate_Bank_start_credit_market_role [ shape = rect label="Bank_idle_Bank_update_policy_rate_Bank_start_credit_market_role [0]" ];
Bank_idle_Bank_update_policy_rate_Bank_start_credit_market_role -> Government_Government_yearly_resetting_003a_003b;
Bank_Bank_read_policy_rate_Bank_update_policy_rate_Bank_start_credit_market_role [ shape = rect label="Bank_Bank_read_policy_rate_Bank_update_policy_rate_Bank_start_credit_market_role [23]" ];
Bank_Bank_read_policy_rate_Bank_update_policy_rate_Bank_start_credit_market_role -> Bank_idle_Bank_update_policy_rate_Bank_start_credit_market_role;
Household_Household_human_capital_policy_Pol_01_Household_Start_Policy_Data [ shape = rect label="Household_Household_human_capital_policy_Pol_01_Household_Start_Policy_Data [6]" ];
Household_Household_human_capital_policy_Pol_01_Household_Start_Policy_Data -> Bank_Bank_read_policy_rate_Bank_update_policy_rate_Bank_start_credit_market_role;
layer_8 [ color="#ff0000" label="layer 8"];
layer_8 ->Household_Household_human_capital_policy_Pol_01_Household_Start_Policy_Data;
Bank_Bank_communicate_identity_Bank_start_credit_market_role_Bank_01 [ shape = rect label="Bank_Bank_communicate_identity_Bank_start_credit_market_role_Bank_01 [-72]" ];
Bank_Bank_communicate_identity_Bank_start_credit_market_role_Bank_01 -> layer_8;
Government_idle_003b_Gov_Start_Bond_Market [ shape = rect label="Government_idle_003b_Gov_Start_Bond_Market [0]" ];
Government_idle_003b_Gov_Start_Bond_Market -> Bank_Bank_communicate_identity_Bank_start_credit_market_role_Bank_01;
Government_Government_migration_003b_Gov_Start_Bond_Market [ shape = rect label="Government_Government_migration_003b_Gov_Start_Bond_Market [0]" ];
Government_Government_migration_003b_Gov_Start_Bond_Market -> Government_idle_003b_Gov_Start_Bond_Market;
layer_9 [ color="#ff0000" label="layer 9"];
layer_9 ->Government_Government_migration_003b_Gov_Start_Bond_Market;
Bank_Bank_send_dividend_payment_Bank_01_Bank_01b [ shape = rect label="Bank_Bank_send_dividend_payment_Bank_01_Bank_01b [-83]" ];
Bank_Bank_send_dividend_payment_Bank_01_Bank_01b -> layer_9;
Government_Government_bond_market_dummy_Gov_Start_Bond_Market_Start_Gov_Consumer_Role [ shape = rect label="Government_Government_bond_market_dummy_Gov_Start_Bond_Market_Start_Gov_Consumer_Role [0]" ];
Government_Government_bond_market_dummy_Gov_Start_Bond_Market_Start_Gov_Consumer_Role -> Bank_Bank_send_dividend_payment_Bank_01_Bank_01b;
Bank_Bank_set_quantities_zero_Bank_01_Bank_01b [ shape = rect label="Bank_Bank_set_quantities_zero_Bank_01_Bank_01b [0]" ];
Bank_Bank_set_quantities_zero_Bank_01_Bank_01b -> Government_Government_bond_market_dummy_Gov_Start_Bond_Market_Start_Gov_Consumer_Role;
layer_10 [ color="#ff0000" label="layer 10"];
layer_10 ->Bank_Bank_set_quantities_zero_Bank_01_Bank_01b;
Bank_Bank_send_account_interest_Bank_01b_Bank_02 [ shape = rect label="Bank_Bank_send_account_interest_Bank_01b_Bank_02 [-212]" ];
Bank_Bank_send_account_interest_Bank_01b_Bank_02 -> layer_10;
Government_Government_determine_consumption_budget_Start_Gov_Consumer_Role_Gov_Cons_1 [ shape = rect label="Government_Government_determine_consumption_budget_Start_Gov_Consumer_Role_Gov_Cons_1 [0]" ];
Government_Government_determine_consumption_budget_Start_Gov_Consumer_Role_Gov_Cons_1 -> Bank_Bank_send_account_interest_Bank_01b_Bank_02;
Government_idle_Start_Gov_Consumer_Role_Gov_Cons_1 [ shape = rect label="Government_idle_Start_Gov_Consumer_Role_Gov_Cons_1 [0]" ];
Government_idle_Start_Gov_Consumer_Role_Gov_Cons_1 -> Government_Government_determine_consumption_budget_Start_Gov_Consumer_Role_Gov_Cons_1;
layer_11 [ color="#ff0000" label="layer 11"];
layer_11 ->Government_idle_Start_Gov_Consumer_Role_Gov_Cons_1;
Bank_idle_Bank_02_Bank_04 [ shape = rect label="Bank_idle_Bank_02_Bank_04 [0]" ];
Bank_idle_Bank_02_Bank_04 -> layer_11;
Firm_Firm_receive_account_interest_Firm_interest_Firm_checks_if_active [ shape = rect label="Firm_Firm_receive_account_interest_Firm_interest_Firm_checks_if_active [4]" ];
Firm_Firm_receive_account_interest_Firm_interest_Firm_checks_if_active -> Bank_idle_Bank_02_Bank_04;
Household_Household_receive_account_interest_Household_Start_Policy_Data_Household_Start_Market_Research_Role [ shape = rect label="Household_Household_receive_account_interest_Household_Start_Policy_Data_Household_Start_Market_Research_Role [3]" ];
Household_Household_receive_account_interest_Household_Start_Policy_Data_Household_Start_Market_Research_Role -> Firm_Firm_receive_account_interest_Firm_interest_Firm_checks_if_active;
IGFirm_IGFirm_receive_account_interest_IGFirm_interest_IGFirm_checks_if_active [ shape = rect label="IGFirm_IGFirm_receive_account_interest_IGFirm_interest_IGFirm_checks_if_active [2]" ];
IGFirm_IGFirm_receive_account_interest_IGFirm_interest_IGFirm_checks_if_active -> Household_Household_receive_account_interest_Household_Start_Policy_Data_Household_Start_Market_Research_Role;
layer_12 [ color="#ff0000" label="layer 12"];
layer_12 ->IGFirm_IGFirm_receive_account_interest_IGFirm_interest_IGFirm_checks_if_active;
IGFirm_idle_IGFirm_checks_if_active_IGFirm_is_active [ shape = rect label="IGFirm_idle_IGFirm_checks_if_active_IGFirm_is_active [0]" ];
IGFirm_idle_IGFirm_checks_if_active_IGFirm_is_active -> layer_12;
Household_Household_decide_to_attend_interview_Household_Start_Market_Research_Role_HH_MR_1 [ shape = rect label="Household_Household_decide_to_attend_interview_Household_Start_Market_Research_Role_HH_MR_1 [0]" ];
Household_Household_decide_to_attend_interview_Household_Start_Market_Research_Role_HH_MR_1 -> IGFirm_idle_IGFirm_checks_if_active_IGFirm_is_active;
Firm_idle_Firm_checks_if_active_Firm_is_active [ shape = rect label="Firm_idle_Firm_checks_if_active_Firm_is_active [0]" ];
Firm_idle_Firm_checks_if_active_Firm_is_active -> Household_Household_decide_to_attend_interview_Household_Start_Market_Research_Role_HH_MR_1;
Firm_Firm_bankruptcy_idle_counter_Firm_checks_if_active_Firm_not_active [ shape = rect label="Firm_Firm_bankruptcy_idle_counter_Firm_checks_if_active_Firm_not_active [0]" ];
Firm_Firm_bankruptcy_idle_counter_Firm_checks_if_active_Firm_not_active -> Firm_idle_Firm_checks_if_active_Firm_is_active;
layer_13 [ color="#ff0000" label="layer 13"];
layer_13 ->Firm_Firm_bankruptcy_idle_counter_Firm_checks_if_active_Firm_not_active;
Firm_Firm_bankruptcy_generic_procedure_Firm_not_active_Firm_bankruptcy_state_0 [ shape = rect label="Firm_Firm_bankruptcy_generic_procedure_Firm_not_active_Firm_bankruptcy_state_0 [-76]" ];
Firm_Firm_bankruptcy_generic_procedure_Firm_not_active_Firm_bankruptcy_state_0 -> layer_13;
IGFirm_idle_IGFirm_is_active_Start_IGFirm_Productivity [ shape = rect label="IGFirm_idle_IGFirm_is_active_Start_IGFirm_Productivity [0]" ];
IGFirm_idle_IGFirm_is_active_Start_IGFirm_Productivity -> Firm_Firm_bankruptcy_generic_procedure_Firm_not_active_Firm_bankruptcy_state_0;
Household_Household_idle_HH_MR_1_Household_Start_Financial_Market_Role [ shape = rect label="Household_Household_idle_HH_MR_1_Household_Start_Financial_Market_Role [0]" ];
Household_Household_idle_HH_MR_1_Household_Start_Financial_Market_Role -> IGFirm_idle_IGFirm_is_active_Start_IGFirm_Productivity;
Firm_idle_Firm_is_active_Firm_Start_Market_Research_Role [ shape = rect label="Firm_idle_Firm_is_active_Firm_Start_Market_Research_Role [0]" ];
Firm_idle_Firm_is_active_Firm_Start_Market_Research_Role -> Household_Household_idle_HH_MR_1_Household_Start_Financial_Market_Role;
Firm_idle_Firm_not_active_Firm_bankruptcy_state_0 [ shape = rect label="Firm_idle_Firm_not_active_Firm_bankruptcy_state_0 [0]" ];
Firm_idle_Firm_not_active_Firm_bankruptcy_state_0 -> Firm_idle_Firm_is_active_Firm_Start_Market_Research_Role;
layer_14 [ color="#ff0000" label="layer 14"];
layer_14 ->Firm_idle_Firm_not_active_Firm_bankruptcy_state_0;
Firm_Firm_bankruptcy_rescale_loans_Firm_bankruptcy_state_0_Firm_bankruptcy_state_01 [ shape = rect label="Firm_Firm_bankruptcy_rescale_loans_Firm_bankruptcy_state_0_Firm_bankruptcy_state_01 [-63]" ];
Firm_Firm_bankruptcy_rescale_loans_Firm_bankruptcy_state_0_Firm_bankruptcy_state_01 -> layer_14;
IGFirm_idle_Start_IGFirm_Productivity_01a [ shape = rect label="IGFirm_idle_Start_IGFirm_Productivity_01a [0]" ];
IGFirm_idle_Start_IGFirm_Productivity_01a -> Firm_Firm_bankruptcy_rescale_loans_Firm_bankruptcy_state_0_Firm_bankruptcy_state_01;
IGFirm_IGFirm_initialize_variables_Start_IGFirm_Productivity_01a [ shape = rect label="IGFirm_IGFirm_initialize_variables_Start_IGFirm_Productivity_01a [0]" ];
IGFirm_IGFirm_initialize_variables_Start_IGFirm_Productivity_01a -> IGFirm_idle_Start_IGFirm_Productivity_01a;
Firm_Firm_idle_Firm_Start_Market_Research_Role_MR_01 [ shape = rect label="Firm_Firm_idle_Firm_Start_Market_Research_Role_MR_01 [0]" ];
Firm_Firm_idle_Firm_Start_Market_Research_Role_MR_01 -> IGFirm_IGFirm_initialize_variables_Start_IGFirm_Productivity_01a;
Firm_Firm_idle_Firm_Start_Market_Research_Role_MR_3 [ shape = rect label="Firm_Firm_idle_Firm_Start_Market_Research_Role_MR_3 [0]" ];
Firm_Firm_idle_Firm_Start_Market_Research_Role_MR_3 -> Firm_Firm_idle_Firm_Start_Market_Research_Role_MR_01;
layer_15 [ color="#ff0000" label="layer 15"];
layer_15 ->Firm_Firm_idle_Firm_Start_Market_Research_Role_MR_3;
IGFirm_IGFirm_idle_01a_01 [ shape = rect label="IGFirm_IGFirm_idle_01a_01 [0]" ];
IGFirm_IGFirm_idle_01a_01 -> layer_15;
IGFirm_IGFirm_innovation_process_01a_01 [ shape = rect label="IGFirm_IGFirm_innovation_process_01a_01 [0]" ];
IGFirm_IGFirm_innovation_process_01a_01 -> IGFirm_IGFirm_idle_01a_01;
Firm_Firm_idle_MR_01_MR_02 [ shape = rect label="Firm_Firm_idle_MR_01_MR_02 [0]" ];
Firm_Firm_idle_MR_01_MR_02 -> IGFirm_IGFirm_innovation_process_01a_01;
Firm_Firm_release_new_product_MR_01_MR_02 [ shape = rect label="Firm_Firm_release_new_product_MR_01_MR_02 [0]" ];
Firm_Firm_release_new_product_MR_01_MR_02 -> Firm_Firm_idle_MR_01_MR_02;
Firm_idle_Firm_bankruptcy_state_01_Firm_bankruptcy_state_1 [ shape = rect label="Firm_idle_Firm_bankruptcy_state_01_Firm_bankruptcy_state_1 [0]" ];
Firm_idle_Firm_bankruptcy_state_01_Firm_bankruptcy_state_1 -> Firm_Firm_release_new_product_MR_01_MR_02;
Firm_Firm_bankruptcy_reset_delayed_Firm_bankruptcy_state_01_Firm_bankruptcy_state_1 [ shape = rect label="Firm_Firm_bankruptcy_reset_delayed_Firm_bankruptcy_state_01_Firm_bankruptcy_state_1 [0]" ];
Firm_Firm_bankruptcy_reset_delayed_Firm_bankruptcy_state_01_Firm_bankruptcy_state_1 -> Firm_idle_Firm_bankruptcy_state_01_Firm_bankruptcy_state_1;
layer_16 [ color="#ff0000" label="layer 16"];
layer_16 ->Firm_Firm_bankruptcy_reset_delayed_Firm_bankruptcy_state_01_Firm_bankruptcy_state_1;
IGFirm_IGFirm_set_price_send_info_01_01kk [ shape = rect label="IGFirm_IGFirm_set_price_send_info_01_01kk [-25]" ];
IGFirm_IGFirm_set_price_send_info_01_01kk -> layer_16;
Firm_Firm_bypass_setting_if_delayed_MR_02_MR_0 [ shape = rect label="Firm_Firm_bypass_setting_if_delayed_MR_02_MR_0 [0]" ];
Firm_Firm_bypass_setting_if_delayed_MR_02_MR_0 -> IGFirm_IGFirm_set_price_send_info_01_01kk;
Firm_Firm_set_market_research_data_pricing_MR_02_MR_03 [ shape = rect label="Firm_Firm_set_market_research_data_pricing_MR_02_MR_03 [0]" ];
Firm_Firm_set_market_research_data_pricing_MR_02_MR_03 -> Firm_Firm_bypass_setting_if_delayed_MR_02_MR_0;
Firm_idle_Firm_bankruptcy_state_1_Firm_bankruptcy_state_4 [ shape = rect label="Firm_idle_Firm_bankruptcy_state_1_Firm_bankruptcy_state_4 [0]" ];
Firm_idle_Firm_bankruptcy_state_1_Firm_bankruptcy_state_4 -> Firm_Firm_set_market_research_data_pricing_MR_02_MR_03;
Firm_Firm_remains_in_bankruptcy_Firm_bankruptcy_state_1_Firm_bankruptcy_state_4 [ shape = rect label="Firm_Firm_remains_in_bankruptcy_Firm_bankruptcy_state_1_Firm_bankruptcy_state_4 [0]" ];
Firm_Firm_remains_in_bankruptcy_Firm_bankruptcy_state_1_Firm_bankruptcy_state_4 -> Firm_idle_Firm_bankruptcy_state_1_Firm_bankruptcy_state_4;
layer_17 [ color="#ff0000" label="layer 17"];
layer_17 ->Firm_Firm_remains_in_bankruptcy_Firm_bankruptcy_state_1_Firm_bankruptcy_state_4;
IGFirm_IGFirm_execute_financial_payments_01kk_IGFirm_End_Financial_Management [ shape = rect label="IGFirm_IGFirm_execute_financial_payments_01kk_IGFirm_End_Financial_Management [-215]" ];
IGFirm_IGFirm_execute_financial_payments_01kk_IGFirm_End_Financial_Management -> layer_17;
IGFirm_IGFirm_idle_01kk_02 [ shape = rect label="IGFirm_IGFirm_idle_01kk_02 [0]" ];
IGFirm_IGFirm_idle_01kk_02 -> IGFirm_IGFirm_execute_financial_payments_01kk_IGFirm_End_Financial_Management;
Firm_Firm_idle_MR_03_MR_0 [ shape = rect label="Firm_Firm_idle_MR_03_MR_0 [0]" ];
Firm_Firm_idle_MR_03_MR_0 -> IGFirm_IGFirm_idle_01kk_02;
Firm_Firm_set_market_research_data_innovation_MR_03_MR_0 [ shape = rect label="Firm_Firm_set_market_research_data_innovation_MR_03_MR_0 [0]" ];
Firm_Firm_set_market_research_data_innovation_MR_03_MR_0 -> Firm_Firm_idle_MR_03_MR_0;
Firm_idle_Firm_bankruptcy_state_4_Firm_End_Branches [ shape = rect label="Firm_idle_Firm_bankruptcy_state_4_Firm_End_Branches [0]" ];
Firm_idle_Firm_bankruptcy_state_4_Firm_End_Branches -> Firm_Firm_set_market_research_data_innovation_MR_03_MR_0;
Firm_Firm_reset_bankruptcy_flags_Firm_bankruptcy_state_4_Firm_Start_Financial_Management_Role [ shape = rect label="Firm_Firm_reset_bankruptcy_flags_Firm_bankruptcy_state_4_Firm_Start_Financial_Management_Role [0]" ];
Firm_Firm_reset_bankruptcy_flags_Firm_bankruptcy_state_4_Firm_Start_Financial_Management_Role -> Firm_idle_Firm_bankruptcy_state_4_Firm_End_Branches;
layer_18 [ color="#ff0000" label="layer 18"];
layer_18 ->Firm_Firm_reset_bankruptcy_flags_Firm_bankruptcy_state_4_Firm_Start_Financial_Management_Role;
Firm_Firm_draw_sample_MR_0_MR_1 [ shape = rect label="Firm_Firm_draw_sample_MR_0_MR_1 [-1]" ];
Firm_Firm_draw_sample_MR_0_MR_1 -> layer_18;
IGFirm_IGFirm_idle_IGFirm_End_Financial_Management_02 [ shape = rect label="IGFirm_IGFirm_idle_IGFirm_End_Financial_Management_02 [0]" ];
IGFirm_IGFirm_idle_IGFirm_End_Financial_Management_02 -> Firm_Firm_draw_sample_MR_0_MR_1;
layer_19 [ color="#ff0000" label="layer 19"];
layer_19 ->IGFirm_IGFirm_idle_IGFirm_End_Financial_Management_02;
Household_Household_respond_HH_MR_1_HH_MR_2 [ shape = rect label="Household_Household_respond_HH_MR_1_HH_MR_2 [0]" ];
Household_Household_respond_HH_MR_1_HH_MR_2 -> layer_19;
layer_20 [ color="#ff0000" label="layer 20"];
layer_20 ->Household_Household_respond_HH_MR_1_HH_MR_2;
Firm_Firm_send_questionnaire_MR_1_MR_2 [ shape = rect label="Firm_Firm_send_questionnaire_MR_1_MR_2 [0]" ];
Firm_Firm_send_questionnaire_MR_1_MR_2 -> layer_20;
layer_21 [ color="#ff0000" label="layer 21"];
layer_21 ->Firm_Firm_send_questionnaire_MR_1_MR_2;
Household_Household_respond_questionnaire_HH_MR_2_Household_Start_Financial_Market_Role [ shape = rect label="Household_Household_respond_questionnaire_HH_MR_2_Household_Start_Financial_Market_Role [-3]" ];
Household_Household_respond_questionnaire_HH_MR_2_Household_Start_Financial_Market_Role -> layer_21;
layer_22 [ color="#ff0000" label="layer 22"];
layer_22 ->Household_Household_respond_questionnaire_HH_MR_2_Household_Start_Financial_Market_Role;
Household_idle_Household_Start_Financial_Market_Role_AFM_000 [ shape = rect label="Household_idle_Household_Start_Financial_Market_Role_AFM_000 [0]" ];
Household_idle_Household_Start_Financial_Market_Role_AFM_000 -> layer_22;
Household_Household_receive_index_info_Household_Start_Financial_Market_Role_AFM_000 [ shape = rect label="Household_Household_receive_index_info_Household_Start_Financial_Market_Role_AFM_000 [100]" ];
Household_Household_receive_index_info_Household_Start_Financial_Market_Role_AFM_000 -> Household_idle_Household_Start_Financial_Market_Role_AFM_000;
Firm_Firm_count_questionnaire_MR_2_MR_3 [ shape = rect label="Firm_Firm_count_questionnaire_MR_2_MR_3 [3]" ];
Firm_Firm_count_questionnaire_MR_2_MR_3 -> Household_Household_receive_index_info_Household_Start_Financial_Market_Role_AFM_000;
layer_23 [ color="#ff0000" label="layer 23"];
layer_23 ->Firm_Firm_count_questionnaire_MR_2_MR_3;
Household_idle_AFM_000_Household_Start_Labour_Role [ shape = rect label="Household_idle_AFM_000_Household_Start_Labour_Role [0]" ];
Household_idle_AFM_000_Household_Start_Labour_Role -> layer_23;
Firm_Firm_idle_MR_3_MR_4 [ shape = rect label="Firm_Firm_idle_MR_3_MR_4 [0]" ];
Firm_Firm_idle_MR_3_MR_4 -> Household_idle_AFM_000_Household_Start_Labour_Role;
Firm_Firm_analyze_questionnaire_MR_3_MR_4 [ shape = rect label="Firm_Firm_analyze_questionnaire_MR_3_MR_4 [0]" ];
Firm_Firm_analyze_questionnaire_MR_3_MR_4 -> Firm_Firm_idle_MR_3_MR_4;
Household_Household_receive_index_price_AFM_000_AFM_001 [ shape = rect label="Household_Household_receive_index_price_AFM_000_AFM_001 [87]" ];
Household_Household_receive_index_price_AFM_000_AFM_001 -> Firm_Firm_analyze_questionnaire_MR_3_MR_4;
layer_24 [ color="#ff0000" label="layer 24"];
layer_24 ->Household_Household_receive_index_price_AFM_000_AFM_001;
Household_Household_revises_expected_portfolio_AFM_001_AFM_002 [ shape = rect label="Household_Household_revises_expected_portfolio_AFM_001_AFM_002 [-3]" ];
Household_Household_revises_expected_portfolio_AFM_001_AFM_002 -> layer_24;
Firm_Firm_idle_MR_4_Firm_Start_Producer_Role [ shape = rect label="Firm_Firm_idle_MR_4_Firm_Start_Producer_Role [0]" ];
Firm_Firm_idle_MR_4_Firm_Start_Producer_Role -> Household_Household_revises_expected_portfolio_AFM_001_AFM_002;
Firm_Firm_prepone_vintage_choice_MR_4_MR_4a [ shape = rect label="Firm_Firm_prepone_vintage_choice_MR_4_MR_4a [25]" ];
Firm_Firm_prepone_vintage_choice_MR_4_MR_4a -> Firm_Firm_idle_MR_4_Firm_Start_Producer_Role;
layer_25 [ color="#ff0000" label="layer 25"];
layer_25 ->Firm_Firm_prepone_vintage_choice_MR_4_MR_4a;
Firm_Firm_set_price_MR_4a_MR_5 [ shape = rect label="Firm_Firm_set_price_MR_4a_MR_5 [0]" ];
Firm_Firm_set_price_MR_4a_MR_5 -> layer_25;
ClearingHouse_ClearingHouse_receive_orders_AFM_01_AFM_02 [ shape = rect label="ClearingHouse_ClearingHouse_receive_orders_AFM_01_AFM_02 [3]" ];
ClearingHouse_ClearingHouse_receive_orders_AFM_01_AFM_02 -> Firm_Firm_set_price_MR_4a_MR_5;
layer_26 [ color="#ff0000" label="layer 26"];
layer_26 ->ClearingHouse_ClearingHouse_receive_orders_AFM_01_AFM_02;
ClearingHouse_ClearingHouse_compute_transactions_AFM_02_AFM_03 [ shape = rect label="ClearingHouse_ClearingHouse_compute_transactions_AFM_02_AFM_03 [0]" ];
ClearingHouse_ClearingHouse_compute_transactions_AFM_02_AFM_03 -> layer_26;
Firm_Firm_idle_MR_5_MR_6 [ shape = rect label="Firm_Firm_idle_MR_5_MR_6 [0]" ];
Firm_Firm_idle_MR_5_MR_6 -> ClearingHouse_ClearingHouse_compute_transactions_AFM_02_AFM_03;
Firm_Firm_decide_product_innovation_MR_5_MR_6 [ shape = rect label="Firm_Firm_decide_product_innovation_MR_5_MR_6 [0]" ];
Firm_Firm_decide_product_innovation_MR_5_MR_6 -> Firm_Firm_idle_MR_5_MR_6;
layer_27 [ color="#ff0000" label="layer 27"];
layer_27 ->Firm_Firm_decide_product_innovation_MR_5_MR_6;
ClearingHouse_ClearingHouse_send_transaction_info_AFM_03_AFM_04 [ shape = rect label="ClearingHouse_ClearingHouse_send_transaction_info_AFM_03_AFM_04 [-2]" ];
ClearingHouse_ClearingHouse_send_transaction_info_AFM_03_AFM_04 -> layer_27;
Firm_Firm_clean_up_arrays_MR_6_Firm_Start_Producer_Role [ shape = rect label="Firm_Firm_clean_up_arrays_MR_6_Firm_Start_Producer_Role [0]" ];
Firm_Firm_clean_up_arrays_MR_6_Firm_Start_Producer_Role -> ClearingHouse_ClearingHouse_send_transaction_info_AFM_03_AFM_04;
layer_28 [ color="#ff0000" label="layer 28"];
layer_28 ->Firm_Firm_clean_up_arrays_MR_6_Firm_Start_Producer_Role;
Firm_Firm_set_quantities_zero_Firm_Start_Producer_Role_00b [ shape = rect label="Firm_Firm_set_quantities_zero_Firm_Start_Producer_Role_00b [0]" ];
Firm_Firm_set_quantities_zero_Firm_Start_Producer_Role_00b -> layer_28;
Firm_Firm_calc_production_quantity_Firm_Start_Producer_Role_01 [ shape = rect label="Firm_Firm_calc_production_quantity_Firm_Start_Producer_Role_01 [0]" ];
Firm_Firm_calc_production_quantity_Firm_Start_Producer_Role_01 -> Firm_Firm_set_quantities_zero_Firm_Start_Producer_Role_00b;
Household_Household_update_portfolio_AFM_002_Household_Start_Labour_Role [ shape = rect label="Household_Household_update_portfolio_AFM_002_Household_Start_Labour_Role [2]" ];
Household_Household_update_portfolio_AFM_002_Household_Start_Labour_Role -> Firm_Firm_calc_production_quantity_Firm_Start_Producer_Role_01;
layer_29 [ color="#ff0000" label="layer 29"];
layer_29 ->Household_Household_update_portfolio_AFM_002_Household_Start_Labour_Role;
Household_Household_idle_Household_Start_Labour_Role_01a [ shape = rect label="Household_Household_idle_Household_Start_Labour_Role_01a [0]" ];
Household_Household_idle_Household_Start_Labour_Role_01a -> layer_29;
Firm_Firm_calc_input_demands_01_02 [ shape = rect label="Firm_Firm_calc_input_demands_01_02 [37]" ];
Firm_Firm_calc_input_demands_01_02 -> Household_Household_idle_Household_Start_Labour_Role_01a;
layer_30 [ color="#ff0000" label="layer 30"];
layer_30 ->Firm_Firm_calc_input_demands_01_02;
Firm_Firm_compute_total_liquidity_needs_02_02b [ shape = rect label="Firm_Firm_compute_total_liquidity_needs_02_02b [0]" ];
Firm_Firm_compute_total_liquidity_needs_02_02b -> layer_30;
layer_31 [ color="#ff0000" label="layer 31"];
layer_31 ->Firm_Firm_compute_total_liquidity_needs_02_02b;
Firm_Firm_check_minsky_class_02b_Firm_Start_Credit_Role [ shape = rect label="Firm_Firm_check_minsky_class_02b_Firm_Start_Credit_Role [0]" ];
Firm_Firm_check_minsky_class_02b_Firm_Start_Credit_Role -> layer_31;
layer_32 [ color="#ff0000" label="layer 32"];
layer_32 ->Firm_Firm_check_minsky_class_02b_Firm_Start_Credit_Role;
Firm_idle_Firm_Start_Credit_Role_Firm_End_External_Financing [ shape = rect label="Firm_idle_Firm_Start_Credit_Role_Firm_End_External_Financing [0]" ];
Firm_idle_Firm_Start_Credit_Role_Firm_End_External_Financing -> layer_32;
Firm_Firm_ask_loan_Firm_Start_Credit_Role_Firm_Credit_02 [ shape = rect label="Firm_Firm_ask_loan_Firm_Start_Credit_Role_Firm_Credit_02 [72]" ];
Firm_Firm_ask_loan_Firm_Start_Credit_Role_Firm_Credit_02 -> Firm_idle_Firm_Start_Credit_Role_Firm_End_External_Financing;
layer_33 [ color="#ff0000" label="layer 33"];
layer_33 ->Firm_Firm_ask_loan_Firm_Start_Credit_Role_Firm_Credit_02;
Bank_Bank_rank_credit_requests_Bank_02_Bank_021 [ shape = rect label="Bank_Bank_rank_credit_requests_Bank_02_Bank_021 [0]" ];
Bank_Bank_rank_credit_requests_Bank_02_Bank_021 -> layer_33;
layer_34 [ color="#ff0000" label="layer 34"];
layer_34 ->Bank_Bank_rank_credit_requests_Bank_02_Bank_021;
Bank_Bank_decide_credit_conditions_Bank_021_Bank_03 [ shape = rect label="Bank_Bank_decide_credit_conditions_Bank_021_Bank_03 [0]" ];
Bank_Bank_decide_credit_conditions_Bank_021_Bank_03 -> layer_34;
layer_35 [ color="#ff0000" label="layer 35"];
layer_35 ->Bank_Bank_decide_credit_conditions_Bank_021_Bank_03;
Firm_Firm_get_loan_Firm_Credit_02_Firm_End_Credit_Role [ shape = rect label="Firm_Firm_get_loan_Firm_Credit_02_Firm_End_Credit_Role [0]" ];
Firm_Firm_get_loan_Firm_Credit_02_Firm_End_Credit_Role -> layer_35;
layer_36 [ color="#ff0000" label="layer 36"];
layer_36 ->Firm_Firm_get_loan_Firm_Credit_02_Firm_End_Credit_Role;
Firm_idle_Firm_End_Credit_Role_Firm_End_External_Financing [ shape = rect label="Firm_idle_Firm_End_Credit_Role_Firm_End_External_Financing [0]" ];
Firm_idle_Firm_End_Credit_Role_Firm_End_External_Financing -> layer_36;
Firm_Firm_check_financial_and_bankruptcy_state_Firm_End_Credit_Role_Firm_bankruptcy_checked [ shape = rect label="Firm_Firm_check_financial_and_bankruptcy_state_Firm_End_Credit_Role_Firm_bankruptcy_checked [0]" ];
Firm_Firm_check_financial_and_bankruptcy_state_Firm_End_Credit_Role_Firm_bankruptcy_checked -> Firm_idle_Firm_End_Credit_Role_Firm_End_External_Financing;
Bank_Bank_give_loan_Bank_03_Bank_04 [ shape = rect label="Bank_Bank_give_loan_Bank_03_Bank_04 [1]" ];
Bank_Bank_give_loan_Bank_03_Bank_04 -> Firm_Firm_check_financial_and_bankruptcy_state_Firm_End_Credit_Role_Firm_bankruptcy_checked;
layer_37 [ color="#ff0000" label="layer 37"];
layer_37 ->Bank_Bank_give_loan_Bank_03_Bank_04;
Firm_Firm_set_bankruptcy_illiquidity_Firm_bankruptcy_checked_Firm_variables_reset2 [ shape = rect label="Firm_Firm_set_bankruptcy_illiquidity_Firm_bankruptcy_checked_Firm_variables_reset2 [-60]" ];
Firm_Firm_set_bankruptcy_illiquidity_Firm_bankruptcy_checked_Firm_variables_reset2 -> layer_37;
Firm_Firm_not_in_bankruptcy_Firm_bankruptcy_checked_Firm_checks_financial_crisis [ shape = rect label="Firm_Firm_not_in_bankruptcy_Firm_bankruptcy_checked_Firm_checks_financial_crisis [0]" ];
Firm_Firm_not_in_bankruptcy_Firm_bankruptcy_checked_Firm_checks_financial_crisis -> Firm_Firm_set_bankruptcy_illiquidity_Firm_bankruptcy_checked_Firm_variables_reset2;
layer_38 [ color="#ff0000" label="layer 38"];
layer_38 ->Firm_Firm_not_in_bankruptcy_Firm_bankruptcy_checked_Firm_checks_financial_crisis;
Firm_idle_Firm_checks_financial_crisis_Firm_End_External_Financing [ shape = rect label="Firm_idle_Firm_checks_financial_crisis_Firm_End_External_Financing [0]" ];
Firm_idle_Firm_checks_financial_crisis_Firm_End_External_Financing -> layer_38;
Firm_Firm_set_minsky_state_crisis_Firm_checks_financial_crisis_Firm_resolve_financial_crisis [ shape = rect label="Firm_Firm_set_minsky_state_crisis_Firm_checks_financial_crisis_Firm_resolve_financial_crisis [0]" ];
Firm_Firm_set_minsky_state_crisis_Firm_checks_financial_crisis_Firm_resolve_financial_crisis -> Firm_idle_Firm_checks_financial_crisis_Firm_End_External_Financing;
Firm_Firm_bankruptcy_reset_immediately_Firm_variables_reset2_Firm_End_Financial_Management_Role [ shape = rect label="Firm_Firm_bankruptcy_reset_immediately_Firm_variables_reset2_Firm_End_Financial_Management_Role [0]" ];
Firm_Firm_bankruptcy_reset_immediately_Firm_variables_reset2_Firm_End_Financial_Management_Role -> Firm_Firm_set_minsky_state_crisis_Firm_checks_financial_crisis_Firm_resolve_financial_crisis;
layer_39 [ color="#ff0000" label="layer 39"];
layer_39 ->Firm_Firm_bankruptcy_reset_immediately_Firm_variables_reset2_Firm_End_Financial_Management_Role;
Firm_Firm_in_financial_crisis_Firm_resolve_financial_crisis_Firm_End_External_Financing [ shape = rect label="Firm_Firm_in_financial_crisis_Firm_resolve_financial_crisis_Firm_End_External_Financing [0]" ];
Firm_Firm_in_financial_crisis_Firm_resolve_financial_crisis_Firm_End_External_Financing -> layer_39;
layer_40 [ color="#ff0000" label="layer 40"];
layer_40 ->Firm_Firm_in_financial_crisis_Firm_resolve_financial_crisis_Firm_End_External_Financing;
Firm_Firm_execute_financial_payments_Firm_End_External_Financing_Firm_End_Financial_Management [ shape = rect label="Firm_Firm_execute_financial_payments_Firm_End_External_Financing_Firm_End_Financial_Management [-121]" ];
Firm_Firm_execute_financial_payments_Firm_End_External_Financing_Firm_End_Financial_Management -> layer_40;
layer_41 [ color="#ff0000" label="layer 41"];
layer_41 ->Firm_Firm_execute_financial_payments_Firm_End_External_Financing_Firm_End_Financial_Management;
Firm_Firm_calc_production_quantity_2_Firm_End_Financial_Management_Firm_Start_Labour_Role [ shape = rect label="Firm_Firm_calc_production_quantity_2_Firm_End_Financial_Management_Firm_Start_Labour_Role [0]" ];
Firm_Firm_calc_production_quantity_2_Firm_End_Financial_Management_Firm_Start_Labour_Role -> layer_41;
Bank_Bank_receive_installment_Bank_04_Bank_05 [ shape = rect label="Bank_Bank_receive_installment_Bank_04_Bank_05 [65]" ];
Bank_Bank_receive_installment_Bank_04_Bank_05 -> Firm_Firm_calc_production_quantity_2_Firm_End_Financial_Management_Firm_Start_Labour_Role;
ClearingHouse_ClearingHouse_receive_dividend_info_AFM_04_AFM_05 [ shape = rect label="ClearingHouse_ClearingHouse_receive_dividend_info_AFM_04_AFM_05 [1]" ];
ClearingHouse_ClearingHouse_receive_dividend_info_AFM_04_AFM_05 -> Bank_Bank_receive_installment_Bank_04_Bank_05;
layer_42 [ color="#ff0000" label="layer 42"];
layer_42 ->ClearingHouse_ClearingHouse_receive_dividend_info_AFM_04_AFM_05;
ClearingHouse_ClearingHouse_update_price_AFM_05_end_Clearinghouse [ shape = rect label="ClearingHouse_ClearingHouse_update_price_AFM_05_end_Clearinghouse [0]" ];
ClearingHouse_ClearingHouse_update_price_AFM_05_end_Clearinghouse -> layer_42;
Firm_Firm_set_labour_market_actions_Firm_Start_Labour_Role_011a [ shape = rect label="Firm_Firm_set_labour_market_actions_Firm_Start_Labour_Role_011a [0]" ];
Firm_Firm_set_labour_market_actions_Firm_Start_Labour_Role_011a -> ClearingHouse_ClearingHouse_update_price_AFM_05_end_Clearinghouse;
layer_43 [ color="#ff0000" label="layer 43"];
layer_43 ->Firm_Firm_set_labour_market_actions_Firm_Start_Labour_Role_011a;
Firm_Firm_calculate_specific_skills_and_wage_offer_011a_011 [ shape = rect label="Firm_Firm_calculate_specific_skills_and_wage_offer_011a_011 [0]" ];
Firm_Firm_calculate_specific_skills_and_wage_offer_011a_011 -> layer_43;
layer_44 [ color="#ff0000" label="layer 44"];
layer_44 ->Firm_Firm_calculate_specific_skills_and_wage_offer_011a_011;
Firm_Firm_send_redundancies_011_03ccc [ shape = rect label="Firm_Firm_send_redundancies_011_03ccc [-2]" ];
Firm_Firm_send_redundancies_011_03ccc -> layer_44;
Firm_Firm_idle_011_03ccc [ shape = rect label="Firm_Firm_idle_011_03ccc [0]" ];
Firm_Firm_idle_011_03ccc -> Firm_Firm_send_redundancies_011_03ccc;
layer_45 [ color="#ff0000" label="layer 45"];
layer_45 ->Firm_Firm_idle_011_03ccc;
Firm_Firm_send_random_redundancies_03ccc_04ccc [ shape = rect label="Firm_Firm_send_random_redundancies_03ccc_04ccc [-1]" ];
Firm_Firm_send_random_redundancies_03ccc_04ccc -> layer_45;
layer_46 [ color="#ff0000" label="layer 46"];
layer_46 ->Firm_Firm_send_random_redundancies_03ccc_04ccc;
Firm_Firm_send_vacancies_04ccc_03 [ shape = rect label="Firm_Firm_send_vacancies_04ccc_03 [-6]" ];
Firm_Firm_send_vacancies_04ccc_03 -> layer_46;
Firm_idle_04ccc_03c [ shape = rect label="Firm_idle_04ccc_03c [0]" ];
Firm_idle_04ccc_03c -> Firm_Firm_send_vacancies_04ccc_03;
Household_Household_read_firing_messages_Household_Start_Labour_Role_01d [ shape = rect label="Household_Household_read_firing_messages_Household_Start_Labour_Role_01d [1]" ];
Household_Household_read_firing_messages_Household_Start_Labour_Role_01d -> Firm_idle_04ccc_03c;
layer_47 [ color="#ff0000" label="layer 47"];
layer_47 ->Household_Household_read_firing_messages_Household_Start_Labour_Role_01d;
Household_Household_idle_01d_06 [ shape = rect label="Household_Household_idle_01d_06 [0]" ];
Household_Household_idle_01d_06 -> layer_47;
Household_Household_idle_01d_01a [ shape = rect label="Household_Household_idle_01d_01a [0]" ];
Household_Household_idle_01d_01a -> Household_Household_idle_01d_06;
layer_48 [ color="#ff0000" label="layer 48"];
layer_48 ->Household_Household_idle_01d_01a;
Household_Household_UNEMPLOYED_read_job_vacancies_and_send_applications_01a_01 [ shape = rect label="Household_Household_UNEMPLOYED_read_job_vacancies_and_send_applications_01a_01 [6]" ];
Household_Household_UNEMPLOYED_read_job_vacancies_and_send_applications_01a_01 -> layer_48;
layer_49 [ color="#ff0000" label="layer 49"];
layer_49 ->Household_Household_UNEMPLOYED_read_job_vacancies_and_send_applications_01a_01;
Firm_Firm_read_job_applications_send_job_offer_or_rejection_03_04 [ shape = rect label="Firm_Firm_read_job_applications_send_job_offer_or_rejection_03_04 [0]" ];
Firm_Firm_read_job_applications_send_job_offer_or_rejection_03_04 -> layer_49;
layer_50 [ color="#ff0000" label="layer 50"];
layer_50 ->Firm_Firm_read_job_applications_send_job_offer_or_rejection_03_04;
Household_Household_read_job_offers_send_response_01_02 [ shape = rect label="Household_Household_read_job_offers_send_response_01_02 [-8]" ];
Household_Household_read_job_offers_send_response_01_02 -> layer_50;
layer_51 [ color="#ff0000" label="layer 51"];
layer_51 ->Household_Household_read_job_offers_send_response_01_02;
Household_Household_read_application_rejection_update_wage_reservation_02_03 [ shape = rect label="Household_Household_read_application_rejection_update_wage_reservation_02_03 [0]" ];
Household_Household_read_application_rejection_update_wage_reservation_02_03 -> layer_51;
Household_Household_finish_labour_market_02_06 [ shape = rect label="Household_Household_finish_labour_market_02_06 [0]" ];
Household_Household_finish_labour_market_02_06 -> Household_Household_read_application_rejection_update_wage_reservation_02_03;
Firm_Firm_read_job_responses_04_05a [ shape = rect label="Firm_Firm_read_job_responses_04_05a [5]" ];
Firm_Firm_read_job_responses_04_05a -> Household_Household_finish_labour_market_02_06;
Firm_Firm_read_job_quitting_00b_09c [ shape = rect label="Firm_Firm_read_job_quitting_00b_09c [4]" ];
Firm_Firm_read_job_quitting_00b_09c -> Firm_Firm_read_job_responses_04_05a;
Firm_Firm_read_job_quitting_03c_03d [ shape = rect label="Firm_Firm_read_job_quitting_03c_03d [3]" ];
Firm_Firm_read_job_quitting_03c_03d -> Firm_Firm_read_job_quitting_00b_09c;
layer_52 [ color="#ff0000" label="layer 52"];
layer_52 ->Firm_Firm_read_job_quitting_03c_03d;
Firm_Firm_start_labour_market_03d_06 [ shape = rect label="Firm_Firm_start_labour_market_03d_06 [0]" ];
Firm_Firm_start_labour_market_03d_06 -> layer_52;
Firm_Firm_read_job_quitting_05a_05b [ shape = rect label="Firm_Firm_read_job_quitting_05a_05b [7]" ];
Firm_Firm_read_job_quitting_05a_05b -> Firm_Firm_start_labour_market_03d_06;
layer_53 [ color="#ff0000" label="layer 53"];
layer_53 ->Firm_Firm_read_job_quitting_05a_05b;
Firm_Firm_update_wage_offer_05b_06 [ shape = rect label="Firm_Firm_update_wage_offer_05b_06 [0]" ];
Firm_Firm_update_wage_offer_05b_06 -> layer_53;
Firm_Firm_finish_labour_market_first_round_05b_09a [ shape = rect label="Firm_Firm_finish_labour_market_first_round_05b_09a [0]" ];
Firm_Firm_finish_labour_market_first_round_05b_09a -> Firm_Firm_update_wage_offer_05b_06;
layer_54 [ color="#ff0000" label="layer 54"];
layer_54 ->Firm_Firm_finish_labour_market_first_round_05b_09a;
Firm_Firm_send_vacancies_2_06_07 [ shape = rect label="Firm_Firm_send_vacancies_2_06_07 [-2]" ];
Firm_Firm_send_vacancies_2_06_07 -> layer_54;
layer_55 [ color="#ff0000" label="layer 55"];
layer_55 ->Firm_Firm_send_vacancies_2_06_07;
Household_Household_UNEMPLOYED_read_job_vacancies_and_send_applications_2_03_04 [ shape = rect label="Household_Household_UNEMPLOYED_read_job_vacancies_and_send_applications_2_03_04 [2]" ];
Household_Household_UNEMPLOYED_read_job_vacancies_and_send_applications_2_03_04 -> layer_55;
layer_56 [ color="#ff0000" label="layer 56"];
layer_56 ->Household_Household_UNEMPLOYED_read_job_vacancies_and_send_applications_2_03_04;
Firm_Firm_read_job_applications_send_job_offer_or_rejection_2_07_08 [ shape = rect label="Firm_Firm_read_job_applications_send_job_offer_or_rejection_2_07_08 [0]" ];
Firm_Firm_read_job_applications_send_job_offer_or_rejection_2_07_08 -> layer_56;
layer_57 [ color="#ff0000" label="layer 57"];
layer_57 ->Firm_Firm_read_job_applications_send_job_offer_or_rejection_2_07_08;
Household_Household_read_job_offers_send_response_2_04_05 [ shape = rect label="Household_Household_read_job_offers_send_response_2_04_05 [-7]" ];
Household_Household_read_job_offers_send_response_2_04_05 -> layer_57;
layer_58 [ color="#ff0000" label="layer 58"];
layer_58 ->Household_Household_read_job_offers_send_response_2_04_05;
Household_Household_idle_05_06 [ shape = rect label="Household_Household_idle_05_06 [0]" ];
Household_Household_idle_05_06 -> layer_58;
Household_Household_read_application_rejection_update_wage_reservation_2_05_06 [ shape = rect label="Household_Household_read_application_rejection_update_wage_reservation_2_05_06 [0]" ];
Household_Household_read_application_rejection_update_wage_reservation_2_05_06 -> Household_Household_idle_05_06;
Firm_Firm_read_job_responses_2_08_09a [ shape = rect label="Firm_Firm_read_job_responses_2_08_09a [4]" ];
Firm_Firm_read_job_responses_2_08_09a -> Household_Household_read_application_rejection_update_wage_reservation_2_05_06;
Firm_Firm_read_job_quitting_2_09c_Firm_Start_Seller_Role [ shape = rect label="Firm_Firm_read_job_quitting_2_09c_Firm_Start_Seller_Role [3]" ];
Firm_Firm_read_job_quitting_2_09c_Firm_Start_Seller_Role -> Firm_Firm_read_job_responses_2_08_09a;
layer_59 [ color="#ff0000" label="layer 59"];
layer_59 ->Firm_Firm_read_job_quitting_2_09c_Firm_Start_Seller_Role;
Household_Household_receive_dividends_dummy_06_06b [ shape = rect label="Household_Household_receive_dividends_dummy_06_06b [0]" ];
Household_Household_receive_dividends_dummy_06_06b -> layer_59;
Firm_Firm_read_job_quitting_2_09a_09b [ shape = rect label="Firm_Firm_read_job_quitting_2_09a_09b [6]" ];
Firm_Firm_read_job_quitting_2_09a_09b -> Household_Household_receive_dividends_dummy_06_06b;
layer_60 [ color="#ff0000" label="layer 60"];
layer_60 ->Firm_Firm_read_job_quitting_2_09a_09b;
Household_Household_idle_06b_06c [ shape = rect label="Household_Household_idle_06b_06c [0]" ];
Household_Household_idle_06b_06c -> layer_60;
Household_Household_idle_06b_09 [ shape = rect label="Household_Household_idle_06b_09 [0]" ];
Household_Household_idle_06b_09 -> Household_Household_idle_06b_06c;
Firm_Firm_idle_09b_10 [ shape = rect label="Firm_Firm_idle_09b_10 [0]" ];
Firm_Firm_idle_09b_10 -> Household_Household_idle_06b_09;
Firm_Firm_update_wage_offer_2_09b_10 [ shape = rect label="Firm_Firm_update_wage_offer_2_09b_10 [0]" ];
Firm_Firm_update_wage_offer_2_09b_10 -> Firm_Firm_idle_09b_10;
layer_61 [ color="#ff0000" label="layer 61"];
layer_61 ->Firm_Firm_update_wage_offer_2_09b_10;
Household_Household_send_subsidy_notification_06c_06d [ shape = rect label="Household_Household_send_subsidy_notification_06c_06d [-79]" ];
Household_Household_send_subsidy_notification_06c_06d -> layer_61;
Firm_Firm_compute_mean_wage_specific_skills_10_Firm_End_Labour_Role [ shape = rect label="Firm_Firm_compute_mean_wage_specific_skills_10_Firm_End_Labour_Role [0]" ];
Firm_Firm_compute_mean_wage_specific_skills_10_Firm_End_Labour_Role -> Household_Household_send_subsidy_notification_06c_06d;
layer_62 [ color="#ff0000" label="layer 62"];
layer_62 ->Firm_Firm_compute_mean_wage_specific_skills_10_Firm_End_Labour_Role;
Firm_Firm_send_capital_demand_Firm_End_Labour_Role_11a [ shape = rect label="Firm_Firm_send_capital_demand_Firm_End_Labour_Role_11a [-1]" ];
Firm_Firm_send_capital_demand_Firm_End_Labour_Role_11a -> layer_62;
Household_Household_send_transfer_notification_06d_06e [ shape = rect label="Household_Household_send_transfer_notification_06d_06e [-79]" ];
Household_Household_send_transfer_notification_06d_06e -> Firm_Firm_send_capital_demand_Firm_End_Labour_Role_11a;
layer_63 [ color="#ff0000" label="layer 63"];
layer_63 ->Household_Household_send_transfer_notification_06d_06e;
IGFirm_IGFirm_receive_order_delivers_capital_goods_02_03 [ shape = rect label="IGFirm_IGFirm_receive_order_delivers_capital_goods_02_03 [-2]" ];
IGFirm_IGFirm_receive_order_delivers_capital_goods_02_03 -> layer_63;
Household_Household_send_unemployment_benefit_notification_06e_08 [ shape = rect label="Household_Household_send_unemployment_benefit_notification_06e_08 [-77]" ];
Household_Household_send_unemployment_benefit_notification_06e_08 -> IGFirm_IGFirm_receive_order_delivers_capital_goods_02_03;
layer_64 [ color="#ff0000" label="layer 64"];
layer_64 ->Household_Household_send_unemployment_benefit_notification_06e_08;
Firm_Firm_receive_capital_goods_11a_11b [ shape = rect label="Firm_Firm_receive_capital_goods_11a_11b [2]" ];
Firm_Firm_receive_capital_goods_11a_11b -> layer_64;
layer_65 [ color="#ff0000" label="layer 65"];
layer_65 ->Firm_Firm_receive_capital_goods_11a_11b;
Firm_Firm_execute_production_11b_11 [ shape = rect label="Firm_Firm_execute_production_11b_11 [0]" ];
Firm_Firm_execute_production_11b_11 -> layer_65;
layer_66 [ color="#ff0000" label="layer 66"];
layer_66 ->Firm_Firm_execute_production_11b_11;
Firm_Firm_calc_pay_costs_11_12 [ shape = rect label="Firm_Firm_calc_pay_costs_11_12 [-3]" ];
Firm_Firm_calc_pay_costs_11_12 -> layer_66;
layer_67 [ color="#ff0000" label="layer 67"];
layer_67 ->Firm_Firm_calc_pay_costs_11_12;
Firm_Firm_send_goods_to_mall_12_Firm_Start_Seller_Role [ shape = rect label="Firm_Firm_send_goods_to_mall_12_Firm_Start_Seller_Role [-3]" ];
Firm_Firm_send_goods_to_mall_12_Firm_Start_Seller_Role -> layer_67;
Household_Household_receive_wage_06e_07 [ shape = rect label="Household_Household_receive_wage_06e_07 [2]" ];
Household_Household_receive_wage_06e_07 -> Firm_Firm_send_goods_to_mall_12_Firm_Start_Seller_Role;
IGFirm_IGFirm_calc_revenue_03_IGFirm_Start_Financial_Management_Role [ shape = rect label="IGFirm_IGFirm_calc_revenue_03_IGFirm_Start_Financial_Management_Role [1]" ];
IGFirm_IGFirm_calc_revenue_03_IGFirm_Start_Financial_Management_Role -> Household_Household_receive_wage_06e_07;
layer_68 [ color="#ff0000" label="layer 68"];
layer_68 ->IGFirm_IGFirm_calc_revenue_03_IGFirm_Start_Financial_Management_Role;
Household_Household_update_specific_skills_07_08 [ shape = rect label="Household_Household_update_specific_skills_07_08 [-33]" ];
Household_Household_update_specific_skills_07_08 -> layer_68;
IGFirm_IGFirm_send_subsidy_notification_IGFirm_Start_Financial_Management_Role_05 [ shape = rect label="IGFirm_IGFirm_send_subsidy_notification_IGFirm_Start_Financial_Management_Role_05 [-67]" ];
IGFirm_IGFirm_send_subsidy_notification_IGFirm_Start_Financial_Management_Role_05 -> Household_Household_update_specific_skills_07_08;
IGFirm_IGFirm_idle_IGFirm_Start_Financial_Management_Role_IGFirm_End_Financial_Management_Role [ shape = rect label="IGFirm_IGFirm_idle_IGFirm_Start_Financial_Management_Role_IGFirm_End_Financial_Management_Role [0]" ];
IGFirm_IGFirm_idle_IGFirm_Start_Financial_Management_Role_IGFirm_End_Financial_Management_Role -> IGFirm_IGFirm_send_subsidy_notification_IGFirm_Start_Financial_Management_Role_05;
Mall_Mall_update_mall_stock_01_02 [ shape = rect label="Mall_Mall_update_mall_stock_01_02 [63]" ];
Mall_Mall_update_mall_stock_01_02 -> IGFirm_IGFirm_idle_IGFirm_Start_Financial_Management_Role_IGFirm_End_Financial_Management_Role;
layer_69 [ color="#ff0000" label="layer 69"];
layer_69 ->Mall_Mall_update_mall_stock_01_02;
Mall_Mall_send_quality_price_info_1_02_03 [ shape = rect label="Mall_Mall_send_quality_price_info_1_02_03 [-2]" ];
Mall_Mall_send_quality_price_info_1_02_03 -> layer_69;
IGFirm_IGFirm_send_transfer_notification_05_IGFirm_End_Public_Sector_Role [ shape = rect label="IGFirm_IGFirm_send_transfer_notification_05_IGFirm_End_Public_Sector_Role [-65]" ];
IGFirm_IGFirm_send_transfer_notification_05_IGFirm_End_Public_Sector_Role -> Mall_Mall_send_quality_price_info_1_02_03;
Household_Household_send_tax_payment_08_08b [ shape = rect label="Household_Household_send_tax_payment_08_08b [-118]" ];
Household_Household_send_tax_payment_08_08b -> IGFirm_IGFirm_send_transfer_notification_05_IGFirm_End_Public_Sector_Role;
layer_70 [ color="#ff0000" label="layer 70"];
layer_70 ->Household_Household_send_tax_payment_08_08b;
Government_Government_rank_and_buy_goods_1_Gov_Cons_1_Gov_Cons_2 [ shape = rect label="Government_Government_rank_and_buy_goods_1_Gov_Cons_1_Gov_Cons_2 [-7]" ];
Government_Government_rank_and_buy_goods_1_Gov_Cons_1_Gov_Cons_2 -> layer_70;
IGFirm_IGFirm_compute_income_statement_IGFirm_End_Public_Sector_Role_002 [ shape = rect label="IGFirm_IGFirm_compute_income_statement_IGFirm_End_Public_Sector_Role_002 [0]" ];
IGFirm_IGFirm_compute_income_statement_IGFirm_End_Public_Sector_Role_002 -> Government_Government_rank_and_buy_goods_1_Gov_Cons_1_Gov_Cons_2;
Household_Household_determine_consumption_budget_08b_09 [ shape = rect label="Household_Household_determine_consumption_budget_08b_09 [0]" ];
Household_Household_determine_consumption_budget_08b_09 -> IGFirm_IGFirm_compute_income_statement_IGFirm_End_Public_Sector_Role_002;
layer_71 [ color="#ff0000" label="layer 71"];
layer_71 ->Household_Household_determine_consumption_budget_08b_09;
IGFirm_IGFirm_compute_dividends_002_003 [ shape = rect label="IGFirm_IGFirm_compute_dividends_002_003 [0]" ];
IGFirm_IGFirm_compute_dividends_002_003 -> layer_71;
Household_Household_idle_09_15 [ shape = rect label="Household_Household_idle_09_15 [0]" ];
Household_Household_idle_09_15 -> IGFirm_IGFirm_compute_dividends_002_003;
Household_Household_rank_and_buy_goods_1_09_10 [ shape = rect label="Household_Household_rank_and_buy_goods_1_09_10 [6]" ];
Household_Household_rank_and_buy_goods_1_09_10 -> Household_Household_idle_09_15;
layer_72 [ color="#ff0000" label="layer 72"];
layer_72 ->Household_Household_rank_and_buy_goods_1_09_10;
Mall_Mall_update_mall_stocks_sales_rationing_1_03_04 [ shape = rect label="Mall_Mall_update_mall_stocks_sales_rationing_1_03_04 [-5]" ];
Mall_Mall_update_mall_stocks_sales_rationing_1_03_04 -> layer_72;
IGFirm_IGFirm_compute_total_financial_payments_003_004 [ shape = rect label="IGFirm_IGFirm_compute_total_financial_payments_003_004 [0]" ];
IGFirm_IGFirm_compute_total_financial_payments_003_004 -> Mall_Mall_update_mall_stocks_sales_rationing_1_03_04;
layer_73 [ color="#ff0000" label="layer 73"];
layer_73 ->IGFirm_IGFirm_compute_total_financial_payments_003_004;
IGFirm_IGFirm_compute_balance_sheet_004_IGFirm_End_Financial_Management_Role [ shape = rect label="IGFirm_IGFirm_compute_balance_sheet_004_IGFirm_End_Financial_Management_Role [0]" ];
IGFirm_IGFirm_compute_balance_sheet_004_IGFirm_End_Financial_Management_Role -> layer_73;
Household_Household_receive_goods_read_rationing_10_11 [ shape = rect label="Household_Household_receive_goods_read_rationing_10_11 [3]" ];
Household_Household_receive_goods_read_rationing_10_11 -> IGFirm_IGFirm_compute_balance_sheet_004_IGFirm_End_Financial_Management_Role;
Government_Government_receive_goods_read_rationing_Gov_Cons_2_Gov_Cons_3 [ shape = rect label="Government_Government_receive_goods_read_rationing_Gov_Cons_2_Gov_Cons_3 [1]" ];
Government_Government_receive_goods_read_rationing_Gov_Cons_2_Gov_Cons_3 -> Household_Household_receive_goods_read_rationing_10_11;
layer_74 [ color="#ff0000" label="layer 74"];
layer_74 ->Government_Government_receive_goods_read_rationing_Gov_Cons_2_Gov_Cons_3;
Government_Government_rank_and_buy_goods_2_Gov_Cons_3_Gov_Cons_4 [ shape = rect label="Government_Government_rank_and_buy_goods_2_Gov_Cons_3_Gov_Cons_4 [-6]" ];
Government_Government_rank_and_buy_goods_2_Gov_Cons_3_Gov_Cons_4 -> layer_74;
IGFirm_idle_IGFirm_End_Financial_Management_Role_IGFirm_End_Branches [ shape = rect label="IGFirm_idle_IGFirm_End_Financial_Management_Role_IGFirm_End_Branches [0]" ];
IGFirm_idle_IGFirm_End_Financial_Management_Role_IGFirm_End_Branches -> Government_Government_rank_and_buy_goods_2_Gov_Cons_3_Gov_Cons_4;
Household_Household_set_values_zero_11_14 [ shape = rect label="Household_Household_set_values_zero_11_14 [0]" ];
Household_Household_set_values_zero_11_14 -> IGFirm_idle_IGFirm_End_Financial_Management_Role_IGFirm_End_Branches;
Household_Household_rank_and_buy_goods_2_11_12 [ shape = rect label="Household_Household_rank_and_buy_goods_2_11_12 [6]" ];
Household_Household_rank_and_buy_goods_2_11_12 -> Household_Household_set_values_zero_11_14;
layer_75 [ color="#ff0000" label="layer 75"];
layer_75 ->Household_Household_rank_and_buy_goods_2_11_12;
IGFirm_IGFirm_send_data_to_Eurostat_IGFirm_End_Branches_IGFirm_Send_Data [ shape = rect label="IGFirm_IGFirm_send_data_to_Eurostat_IGFirm_End_Branches_IGFirm_Send_Data [-61]" ];
IGFirm_IGFirm_send_data_to_Eurostat_IGFirm_End_Branches_IGFirm_Send_Data -> layer_75;
IGFirm_idle_IGFirm_End_Branches_06 [ shape = rect label="IGFirm_idle_IGFirm_End_Branches_06 [0]" ];
IGFirm_idle_IGFirm_End_Branches_06 -> IGFirm_IGFirm_send_data_to_Eurostat_IGFirm_End_Branches_IGFirm_Send_Data;
Mall_Mall_update_mall_stocks_sales_rationing_2_04_05 [ shape = rect label="Mall_Mall_update_mall_stocks_sales_rationing_2_04_05 [4]" ];
Mall_Mall_update_mall_stocks_sales_rationing_2_04_05 -> IGFirm_idle_IGFirm_End_Branches_06;
layer_76 [ color="#ff0000" label="layer 76"];
layer_76 ->Mall_Mall_update_mall_stocks_sales_rationing_2_04_05;
Mall_Mall_pay_firm_05_05a [ shape = rect label="Mall_Mall_pay_firm_05_05a [-5]" ];
Mall_Mall_pay_firm_05_05a -> layer_76;
IGFirm_IGFirm_compute_stock_flows_IGFirm_Send_Data_06 [ shape = rect label="IGFirm_IGFirm_compute_stock_flows_IGFirm_Send_Data_06 [0]" ];
IGFirm_IGFirm_compute_stock_flows_IGFirm_Send_Data_06 -> Mall_Mall_pay_firm_05_05a;
Household_Household_receive_goods_read_rationing_2_12_14 [ shape = rect label="Household_Household_receive_goods_read_rationing_2_12_14 [4]" ];
Household_Household_receive_goods_read_rationing_2_12_14 -> IGFirm_IGFirm_compute_stock_flows_IGFirm_Send_Data_06;
Government_Government_receive_goods_read_rationing_2_Gov_Cons_4_Gov_Cons_5 [ shape = rect label="Government_Government_receive_goods_read_rationing_2_Gov_Cons_4_Gov_Cons_5 [1]" ];
Government_Government_receive_goods_read_rationing_2_Gov_Cons_4_Gov_Cons_5 -> Household_Household_receive_goods_read_rationing_2_12_14;
layer_77 [ color="#ff0000" label="layer 77"];
layer_77 ->Government_Government_receive_goods_read_rationing_2_Gov_Cons_4_Gov_Cons_5;
Government_Government_handle_leftover_budget_Gov_Cons_5_End_Gov_Consumer_Role [ shape = rect label="Government_Government_handle_leftover_budget_Gov_Cons_5_End_Gov_Consumer_Role [0]" ];
Government_Government_handle_leftover_budget_Gov_Cons_5_End_Gov_Consumer_Role -> layer_77;
IGFirm_IGFirm_receive_stock_info_dummy_06_07 [ shape = rect label="IGFirm_IGFirm_receive_stock_info_dummy_06_07 [0]" ];
IGFirm_IGFirm_receive_stock_info_dummy_06_07 -> Government_Government_handle_leftover_budget_Gov_Cons_5_End_Gov_Consumer_Role;
Household_Household_handle_leftover_budget_14_15 [ shape = rect label="Household_Household_handle_leftover_budget_14_15 [0]" ];
Household_Household_handle_leftover_budget_14_15 -> IGFirm_IGFirm_receive_stock_info_dummy_06_07;
Firm_Firm_calc_revenue_Firm_Start_Seller_Role_Firm_End_Seller_Role [ shape = rect label="Firm_Firm_calc_revenue_Firm_Start_Seller_Role_Firm_End_Seller_Role [5]" ];
Firm_Firm_calc_revenue_Firm_Start_Seller_Role_Firm_End_Seller_Role -> Household_Household_handle_leftover_budget_14_15;
layer_78 [ color="#ff0000" label="layer 78"];
layer_78 ->Firm_Firm_calc_revenue_Firm_Start_Seller_Role_Firm_End_Seller_Role;
Household_Household_send_account_update_15_16 [ shape = rect label="Household_Household_send_account_update_15_16 [-28]" ];
Household_Household_send_account_update_15_16 -> layer_78;
IGFirm_IGFirm_send_payments_to_bank_07_end_IGFirm [ shape = rect label="IGFirm_IGFirm_send_payments_to_bank_07_end_IGFirm [-29]" ];
IGFirm_IGFirm_send_payments_to_bank_07_end_IGFirm -> Household_Household_send_account_update_15_16;
Firm_idle_Firm_End_Seller_Role_14 [ shape = rect label="Firm_idle_Firm_End_Seller_Role_14 [0]" ];
Firm_idle_Firm_End_Seller_Role_14 -> IGFirm_IGFirm_send_payments_to_bank_07_end_IGFirm;
Firm_Firm_update_specific_skills_of_workers_Firm_End_Seller_Role_14 [ shape = rect label="Firm_Firm_update_specific_skills_of_workers_Firm_End_Seller_Role_14 [33]" ];
Firm_Firm_update_specific_skills_of_workers_Firm_End_Seller_Role_14 -> Firm_idle_Firm_End_Seller_Role_14;
layer_79 [ color="#ff0000" label="layer 79"];
layer_79 ->Firm_Firm_update_specific_skills_of_workers_Firm_End_Seller_Role_14;
Household_Household_send_data_to_Eurostat_16_17 [ shape = rect label="Household_Household_send_data_to_Eurostat_16_17 [-46]" ];
Household_Household_send_data_to_Eurostat_16_17 -> layer_79;
Household_idle_16_17 [ shape = rect label="Household_idle_16_17 [0]" ];
Household_idle_16_17 -> Household_Household_send_data_to_Eurostat_16_17;
Firm_Firm_compute_sales_statistics_14_Firm_Start_Financial_Management_Role [ shape = rect label="Firm_Firm_compute_sales_statistics_14_Firm_Start_Financial_Management_Role [0]" ];
Firm_Firm_compute_sales_statistics_14_Firm_Start_Financial_Management_Role -> Household_idle_16_17;
Firm_idle_14_Firm_End_Financial_Management_Role [ shape = rect label="Firm_idle_14_Firm_End_Financial_Management_Role [0]" ];
Firm_idle_14_Firm_End_Financial_Management_Role -> Firm_Firm_compute_sales_statistics_14_Firm_Start_Financial_Management_Role;
layer_80 [ color="#ff0000" label="layer 80"];
layer_80 ->Firm_idle_14_Firm_End_Financial_Management_Role;
Firm_Firm_send_subsidy_notification_Firm_Start_Financial_Management_Role_005 [ shape = rect label="Firm_Firm_send_subsidy_notification_Firm_Start_Financial_Management_Role_005 [-24]" ];
Firm_Firm_send_subsidy_notification_Firm_Start_Financial_Management_Role_005 -> layer_80;
Household_idle_17_end_Household [ shape = rect label="Household_idle_17_end_Household [0]" ];
Household_idle_17_end_Household -> Firm_Firm_send_subsidy_notification_Firm_Start_Financial_Management_Role_005;
Household_Household_read_data_from_Eurostat_17_end_Household [ shape = rect label="Household_Household_read_data_from_Eurostat_17_end_Household [211]" ];
Household_Household_read_data_from_Eurostat_17_end_Household -> Household_idle_17_end_Household;
layer_81 [ color="#ff0000" label="layer 81"];
layer_81 ->Household_Household_read_data_from_Eurostat_17_end_Household;
Firm_Firm_send_transfer_notification_005_Firm_End_Public_Sector_Role [ shape = rect label="Firm_Firm_send_transfer_notification_005_Firm_End_Public_Sector_Role [-25]" ];
Firm_Firm_send_transfer_notification_005_Firm_End_Public_Sector_Role -> layer_81;
layer_82 [ color="#ff0000" label="layer 82"];
layer_82 ->Firm_Firm_send_transfer_notification_005_Firm_End_Public_Sector_Role;
Firm_Firm_compute_financial_payments_Firm_End_Public_Sector_Role_001 [ shape = rect label="Firm_Firm_compute_financial_payments_Firm_End_Public_Sector_Role_001 [0]" ];
Firm_Firm_compute_financial_payments_Firm_End_Public_Sector_Role_001 -> layer_82;
layer_83 [ color="#ff0000" label="layer 83"];
layer_83 ->Firm_Firm_compute_financial_payments_Firm_End_Public_Sector_Role_001;
Firm_Firm_compute_income_statement_001_002 [ shape = rect label="Firm_Firm_compute_income_statement_001_002 [0]" ];
Firm_Firm_compute_income_statement_001_002 -> layer_83;
layer_84 [ color="#ff0000" label="layer 84"];
layer_84 ->Firm_Firm_compute_income_statement_001_002;
Firm_Firm_compute_dividends_002_003 [ shape = rect label="Firm_Firm_compute_dividends_002_003 [0]" ];
Firm_Firm_compute_dividends_002_003 -> layer_84;
layer_85 [ color="#ff0000" label="layer 85"];
layer_85 ->Firm_Firm_compute_dividends_002_003;
Firm_Firm_compute_total_financial_payments_003_004 [ shape = rect label="Firm_Firm_compute_total_financial_payments_003_004 [0]" ];
Firm_Firm_compute_total_financial_payments_003_004 -> layer_85;
layer_86 [ color="#ff0000" label="layer 86"];
layer_86 ->Firm_Firm_compute_total_financial_payments_003_004;
Firm_Firm_compute_balance_sheet_004_Firm_Bankruptcy_check [ shape = rect label="Firm_Firm_compute_balance_sheet_004_Firm_Bankruptcy_check [0]" ];
Firm_Firm_compute_balance_sheet_004_Firm_Bankruptcy_check -> layer_86;
layer_87 [ color="#ff0000" label="layer 87"];
layer_87 ->Firm_Firm_compute_balance_sheet_004_Firm_Bankruptcy_check;
Firm_Firm_set_bankruptcy_insolvency_Firm_Bankruptcy_check_Firm_variables_reset [ shape = rect label="Firm_Firm_set_bankruptcy_insolvency_Firm_Bankruptcy_check_Firm_variables_reset [-1]" ];
Firm_Firm_set_bankruptcy_insolvency_Firm_Bankruptcy_check_Firm_variables_reset -> layer_87;
Firm_idle_Firm_Bankruptcy_check_Firm_End_Financial_Management_Role [ shape = rect label="Firm_idle_Firm_Bankruptcy_check_Firm_End_Financial_Management_Role [0]" ];
Firm_idle_Firm_Bankruptcy_check_Firm_End_Financial_Management_Role -> Firm_Firm_set_bankruptcy_insolvency_Firm_Bankruptcy_check_Firm_variables_reset;
layer_88 [ color="#ff0000" label="layer 88"];
layer_88 ->Firm_idle_Firm_Bankruptcy_check_Firm_End_Financial_Management_Role;
Firm_Firm_bankruptcy_reset_immediately_Firm_variables_reset_Firm_End_Financial_Management_Role [ shape = rect label="Firm_Firm_bankruptcy_reset_immediately_Firm_variables_reset_Firm_End_Financial_Management_Role [0]" ];
Firm_Firm_bankruptcy_reset_immediately_Firm_variables_reset_Firm_End_Financial_Management_Role -> layer_88;
Mall_Mall_read_insolvency_bankruptcy_05a_06 [ shape = rect label="Mall_Mall_read_insolvency_bankruptcy_05a_06 [1]" ];
Mall_Mall_read_insolvency_bankruptcy_05a_06 -> Firm_Firm_bankruptcy_reset_immediately_Firm_variables_reset_Firm_End_Financial_Management_Role;
layer_89 [ color="#ff0000" label="layer 89"];
layer_89 ->Mall_Mall_read_insolvency_bankruptcy_05a_06;
Mall_Mall_send_export_data_06_end_Mall [ shape = rect label="Mall_Mall_send_export_data_06_end_Mall [-29]" ];
Mall_Mall_send_export_data_06_end_Mall -> layer_89;
Mall_idle_06_end_Mall [ shape = rect label="Mall_idle_06_end_Mall [0]" ];
Mall_idle_06_end_Mall -> Mall_Mall_send_export_data_06_end_Mall;
Firm_idle_Firm_End_Financial_Management_Role_Firm_End_Branches [ shape = rect label="Firm_idle_Firm_End_Financial_Management_Role_Firm_End_Branches [0]" ];
Firm_idle_Firm_End_Financial_Management_Role_Firm_End_Branches -> Mall_idle_06_end_Mall;
layer_90 [ color="#ff0000" label="layer 90"];
layer_90 ->Firm_idle_Firm_End_Financial_Management_Role_Firm_End_Branches;
Firm_Firm_send_data_to_Eurostat_Firm_End_Branches_Firm_Send_Data [ shape = rect label="Firm_Firm_send_data_to_Eurostat_Firm_End_Branches_Firm_Send_Data [-26]" ];
Firm_Firm_send_data_to_Eurostat_Firm_End_Branches_Firm_Send_Data -> layer_90;
Firm_idle_Firm_End_Branches_15 [ shape = rect label="Firm_idle_Firm_End_Branches_15 [0]" ];
Firm_idle_Firm_End_Branches_15 -> Firm_Firm_send_data_to_Eurostat_Firm_End_Branches_Firm_Send_Data;
layer_91 [ color="#ff0000" label="layer 91"];
layer_91 ->Firm_idle_Firm_End_Branches_15;
Firm_Firm_compute_stock_flows_Firm_Send_Data_15 [ shape = rect label="Firm_Firm_compute_stock_flows_Firm_Send_Data_15 [0]" ];
Firm_Firm_compute_stock_flows_Firm_Send_Data_15 -> layer_91;
layer_92 [ color="#ff0000" label="layer 92"];
layer_92 ->Firm_Firm_compute_stock_flows_Firm_Send_Data_15;
Firm_Firm_set_minsky_state_bankruptcy_15_16 [ shape = rect label="Firm_Firm_set_minsky_state_bankruptcy_15_16 [0]" ];
Firm_Firm_set_minsky_state_bankruptcy_15_16 -> layer_92;
layer_93 [ color="#ff0000" label="layer 93"];
layer_93 ->Firm_Firm_set_minsky_state_bankruptcy_15_16;
Firm_Firm_send_payments_to_bank_16_end_Firm [ shape = rect label="Firm_Firm_send_payments_to_bank_16_end_Firm [-2]" ];
Firm_Firm_send_payments_to_bank_16_end_Firm -> layer_93;
layer_94 [ color="#ff0000" label="layer 94"];
layer_94 ->Firm_Firm_send_payments_to_bank_16_end_Firm;
Bank_Bank_account_update_deposits_Bank_05_Bank_06 [ shape = rect label="Bank_Bank_account_update_deposits_Bank_05_Bank_06 [2]" ];
Bank_Bank_account_update_deposits_Bank_05_Bank_06 -> layer_94;
layer_95 [ color="#ff0000" label="layer 95"];
layer_95 ->Bank_Bank_account_update_deposits_Bank_05_Bank_06;
Bank_Bank_accounting_Bank_06_Bank_07 [ shape = rect label="Bank_Bank_accounting_Bank_06_Bank_07 [-1]" ];
Bank_Bank_accounting_Bank_06_Bank_07 -> layer_95;
Bank_Bank_idle_Bank_06_Bank_07 [ shape = rect label="Bank_Bank_idle_Bank_06_Bank_07 [0]" ];
Bank_Bank_idle_Bank_06_Bank_07 -> Bank_Bank_accounting_Bank_06_Bank_07;
layer_96 [ color="#ff0000" label="layer 96"];
layer_96 ->Bank_Bank_idle_Bank_06_Bank_07;
Bank_Bank_update_ecb_account_Bank_07_Bank_08 [ shape = rect label="Bank_Bank_update_ecb_account_Bank_07_Bank_08 [-12]" ];
Bank_Bank_update_ecb_account_Bank_07_Bank_08 -> layer_96;
Government_Government_read_tax_payments_End_Gov_Consumer_Role_02 [ shape = rect label="Government_Government_read_tax_payments_End_Gov_Consumer_Role_02 [60]" ];
Government_Government_read_tax_payments_End_Gov_Consumer_Role_02 -> Bank_Bank_update_ecb_account_Bank_07_Bank_08;
layer_97 [ color="#ff0000" label="layer 97"];
layer_97 ->Government_Government_read_tax_payments_End_Gov_Consumer_Role_02;
Bank_Bank_stocks_and_flows_Bank_08_end_Bank [ shape = rect label="Bank_Bank_stocks_and_flows_Bank_08_end_Bank [0]" ];
Bank_Bank_stocks_and_flows_Bank_08_end_Bank -> layer_97;
Government_Government_read_subsidy_notifications_02_03 [ shape = rect label="Government_Government_read_subsidy_notifications_02_03 [103]" ];
Government_Government_read_subsidy_notifications_02_03 -> Bank_Bank_stocks_and_flows_Bank_08_end_Bank;
layer_98 [ color="#ff0000" label="layer 98"];
layer_98 ->Government_Government_read_subsidy_notifications_02_03;
Government_Government_read_transfer_notifications_03_04 [ shape = rect label="Government_Government_read_transfer_notifications_03_04 [104]" ];
Government_Government_read_transfer_notifications_03_04 -> layer_98;
layer_99 [ color="#ff0000" label="layer 99"];
layer_99 ->Government_Government_read_transfer_notifications_03_04;
Government_Government_read_unemployment_benefit_notifications_04_Gov_Start_Monthly_Loop [ shape = rect label="Government_Government_read_unemployment_benefit_notifications_04_Gov_Start_Monthly_Loop [77]" ];
Government_Government_read_unemployment_benefit_notifications_04_Gov_Start_Monthly_Loop -> layer_99;
layer_100 [ color="#ff0000" label="layer 100"];
layer_100 ->Government_Government_read_unemployment_benefit_notifications_04_Gov_Start_Monthly_Loop;
Government_Government_resolve_unsold_bonds_dummy_Gov_Start_Monthly_Loop_05a [ shape = rect label="Government_Government_resolve_unsold_bonds_dummy_Gov_Start_Monthly_Loop_05a [0]" ];
Government_Government_resolve_unsold_bonds_dummy_Gov_Start_Monthly_Loop_05a -> layer_100;
Government_idle_Gov_Start_Monthly_Loop_06 [ shape = rect label="Government_idle_Gov_Start_Monthly_Loop_06 [0]" ];
Government_idle_Gov_Start_Monthly_Loop_06 -> Government_Government_resolve_unsold_bonds_dummy_Gov_Start_Monthly_Loop_05a;
layer_101 [ color="#ff0000" label="layer 101"];
layer_101 ->Government_idle_Gov_Start_Monthly_Loop_06;
Government_Government_monthly_budget_accounting_05a_Gov_bonds_decision [ shape = rect label="Government_Government_monthly_budget_accounting_05a_Gov_bonds_decision [-1]" ];
Government_Government_monthly_budget_accounting_05a_Gov_bonds_decision -> layer_101;
layer_102 [ color="#ff0000" label="layer 102"];
layer_102 ->Government_Government_monthly_budget_accounting_05a_Gov_bonds_decision;
Government_idle_Gov_bonds_decision_06 [ shape = rect label="Government_idle_Gov_bonds_decision_06 [0]" ];
Government_idle_Gov_bonds_decision_06 -> layer_102;
Government_Government_bonds_issuing_decision_dummy_Gov_bonds_decision_06 [ shape = rect label="Government_Government_bonds_issuing_decision_dummy_Gov_bonds_decision_06 [0]" ];
Government_Government_bonds_issuing_decision_dummy_Gov_bonds_decision_06 -> Government_idle_Gov_bonds_decision_06;
CentralBank_Central_Bank_read_fiat_money_requests_CB_financial_operations_end_00 [ shape = rect label="CentralBank_Central_Bank_read_fiat_money_requests_CB_financial_operations_end_00 [1]" ];
CentralBank_Central_Bank_read_fiat_money_requests_CB_financial_operations_end_00 -> Government_Government_bonds_issuing_decision_dummy_Gov_bonds_decision_06;
layer_103 [ color="#ff0000" label="layer 103"];
layer_103 ->CentralBank_Central_Bank_read_fiat_money_requests_CB_financial_operations_end_00;
Government_Government_send_account_update_06_07 [ shape = rect label="Government_Government_send_account_update_06_07 [-1]" ];
Government_Government_send_account_update_06_07 -> layer_103;
layer_104 [ color="#ff0000" label="layer 104"];
layer_104 ->Government_Government_send_account_update_06_07;
CentralBank_Central_Bank_read_account_update_00_end_Central_Bank [ shape = rect label="CentralBank_Central_Bank_read_account_update_00_end_Central_Bank [223]" ];
CentralBank_Central_Bank_read_account_update_00_end_Central_Bank -> layer_104;
layer_105 [ color="#ff0000" label="layer 105"];
layer_105 ->CentralBank_Central_Bank_read_account_update_00_end_Central_Bank;
Government_Government_compute_balance_sheet_07_08 [ shape = rect label="Government_Government_compute_balance_sheet_07_08 [1]" ];
Government_Government_compute_balance_sheet_07_08 -> layer_105;
layer_106 [ color="#ff0000" label="layer 106"];
layer_106 ->Government_Government_compute_balance_sheet_07_08;
Government_Government_send_data_to_Eurostat_08_Gov_Start_Yearly_Loop [ shape = rect label="Government_Government_send_data_to_Eurostat_08_Gov_Start_Yearly_Loop [-3]" ];
Government_Government_send_data_to_Eurostat_08_Gov_Start_Yearly_Loop -> layer_106;
Government_idle_08_Gov_Start_Yearly_Loop [ shape = rect label="Government_idle_08_Gov_Start_Yearly_Loop [0]" ];
Government_idle_08_Gov_Start_Yearly_Loop -> Government_Government_send_data_to_Eurostat_08_Gov_Start_Yearly_Loop;
layer_107 [ color="#ff0000" label="layer 107"];
layer_107 ->Government_idle_08_Gov_Start_Yearly_Loop;
Government_Government_yearly_budget_accounting_Gov_Start_Yearly_Loop_end_Government [ shape = rect label="Government_Government_yearly_budget_accounting_Gov_Start_Yearly_Loop_end_Government [0]" ];
Government_Government_yearly_budget_accounting_Gov_Start_Yearly_Loop_end_Government -> layer_107;
Government_idle_Gov_Start_Yearly_Loop_end_Government [ shape = rect label="Government_idle_Gov_Start_Yearly_Loop_end_Government [0]" ];
Government_idle_Gov_Start_Yearly_Loop_end_Government -> Government_Government_yearly_budget_accounting_Gov_Start_Yearly_Loop_end_Government;
Eurostat_Eurostat_calculate_data_01_Eurostat_Start_Monthly_Loop [ shape = rect label="Eurostat_Eurostat_calculate_data_01_Eurostat_Start_Monthly_Loop [296]" ];
Eurostat_Eurostat_calculate_data_01_Eurostat_Start_Monthly_Loop -> Government_idle_Gov_Start_Yearly_Loop_end_Government;
layer_108 [ color="#ff0000" label="layer 108"];
layer_108 ->Eurostat_Eurostat_calculate_data_01_Eurostat_Start_Monthly_Loop;
Eurostat_Eurostat_idle_Eurostat_Start_Monthly_Loop_Eurostat_Start_Quarterly_Loop [ shape = rect label="Eurostat_Eurostat_idle_Eurostat_Start_Monthly_Loop_Eurostat_Start_Quarterly_Loop [0]" ];
Eurostat_Eurostat_idle_Eurostat_Start_Monthly_Loop_Eurostat_Start_Quarterly_Loop -> layer_108;
Eurostat_Eurostat_store_history_monthly_Eurostat_Start_Monthly_Loop_02 [ shape = rect label="Eurostat_Eurostat_store_history_monthly_Eurostat_Start_Monthly_Loop_02 [0]" ];
Eurostat_Eurostat_store_history_monthly_Eurostat_Start_Monthly_Loop_02 -> Eurostat_Eurostat_idle_Eurostat_Start_Monthly_Loop_Eurostat_Start_Quarterly_Loop;
layer_109 [ color="#ff0000" label="layer 109"];
layer_109 ->Eurostat_Eurostat_store_history_monthly_Eurostat_Start_Monthly_Loop_02;
Eurostat_Eurostat_compute_growth_rates_monthly_02_Eurostat_Start_Quarterly_Loop [ shape = rect label="Eurostat_Eurostat_compute_growth_rates_monthly_02_Eurostat_Start_Quarterly_Loop [0]" ];
Eurostat_Eurostat_compute_growth_rates_monthly_02_Eurostat_Start_Quarterly_Loop -> layer_109;
layer_110 [ color="#ff0000" label="layer 110"];
layer_110 ->Eurostat_Eurostat_compute_growth_rates_monthly_02_Eurostat_Start_Quarterly_Loop;
Eurostat_Eurostat_idle_Eurostat_Start_Quarterly_Loop_Eurostat_Start_EndOfYear_Loop [ shape = rect label="Eurostat_Eurostat_idle_Eurostat_Start_Quarterly_Loop_Eurostat_Start_EndOfYear_Loop [0]" ];
Eurostat_Eurostat_idle_Eurostat_Start_Quarterly_Loop_Eurostat_Start_EndOfYear_Loop -> layer_110;
Eurostat_Eurostat_store_history_quarterly_Eurostat_Start_Quarterly_Loop_04 [ shape = rect label="Eurostat_Eurostat_store_history_quarterly_Eurostat_Start_Quarterly_Loop_04 [0]" ];
Eurostat_Eurostat_store_history_quarterly_Eurostat_Start_Quarterly_Loop_04 -> Eurostat_Eurostat_idle_Eurostat_Start_Quarterly_Loop_Eurostat_Start_EndOfYear_Loop;
layer_111 [ color="#ff0000" label="layer 111"];
layer_111 ->Eurostat_Eurostat_store_history_quarterly_Eurostat_Start_Quarterly_Loop_04;
Eurostat_Eurostat_compute_growth_rates_quarterly_04_05 [ shape = rect label="Eurostat_Eurostat_compute_growth_rates_quarterly_04_05 [0]" ];
Eurostat_Eurostat_compute_growth_rates_quarterly_04_05 -> layer_111;
layer_112 [ color="#ff0000" label="layer 112"];
layer_112 ->Eurostat_Eurostat_compute_growth_rates_quarterly_04_05;
Eurostat_Eurostat_measure_recession_05_Eurostat_Start_EndOfYear_Loop [ shape = rect label="Eurostat_Eurostat_measure_recession_05_Eurostat_Start_EndOfYear_Loop [0]" ];
Eurostat_Eurostat_measure_recession_05_Eurostat_Start_EndOfYear_Loop -> layer_112;
layer_113 [ color="#ff0000" label="layer 113"];
layer_113 ->Eurostat_Eurostat_measure_recession_05_Eurostat_Start_EndOfYear_Loop;
Eurostat_idle_Eurostat_Start_EndOfYear_Loop_end_Eurostat [ shape = rect label="Eurostat_idle_Eurostat_Start_EndOfYear_Loop_end_Eurostat [0]" ];
Eurostat_idle_Eurostat_Start_EndOfYear_Loop_end_Eurostat -> layer_113;
Eurostat_Eurostat_idle_Eurostat_Start_EndOfYear_Loop_end_Eurostat [ shape = rect label="Eurostat_Eurostat_idle_Eurostat_Start_EndOfYear_Loop_end_Eurostat [0]" ];
Eurostat_Eurostat_idle_Eurostat_Start_EndOfYear_Loop_end_Eurostat -> Eurostat_idle_Eurostat_Start_EndOfYear_Loop_end_Eurostat;
bank_account_update_message [ label = "bank_account_update" color="#00ff00" shape = parallelogram];
bank_account_update_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
bank_account_update_message_sync_start_0 -> bank_account_update_message [ color="#00ff00" label="bank_account_update_94"];
{ rank=same; Firm_Firm_send_payments_to_bank_16_end_Firm; bank_account_update_message_sync_start_0; }
bank_account_update_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
bank_account_update_message_sync_end_0 -> bank_account_update_message_sync_start_0 [ color="#00ff00" ];
bank_account_update_message_sync_end_0 -> Bank_Bank_account_update_deposits_Bank_05_Bank_06 [ color="#00ff00" constraint=false ];
bank_account_update_message_sync_start_0 -> IGFirm_IGFirm_send_payments_to_bank_07_end_IGFirm [ color="#00ff00", constraint=false, style=dashed ];
bank_account_update_message_sync_start_0 -> Household_Household_send_account_update_15_16 [ color="#00ff00", constraint=false, style=dashed ];
bank_account_update_message_sync_start_0 -> Firm_Firm_send_payments_to_bank_16_end_Firm [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; Bank_Bank_account_update_deposits_Bank_05_Bank_06; bank_account_update_message_sync_end_0; }
bank_to_central_bank_account_update_message [ label = "bank_to_central_bank_account_update" color="#00ff00" shape = parallelogram];
bank_to_central_bank_account_update_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
bank_to_central_bank_account_update_message_sync_start_0 -> bank_to_central_bank_account_update_message [ color="#00ff00" label="bank_to_central_bank_account_update_104"];
{ rank=same; Bank_Bank_update_ecb_account_Bank_07_Bank_08; bank_to_central_bank_account_update_message_sync_start_0; }
bank_to_central_bank_account_update_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
bank_to_central_bank_account_update_message_sync_end_0 -> bank_to_central_bank_account_update_message_sync_start_0 [ color="#00ff00" ];
bank_to_central_bank_account_update_message_sync_end_0 -> CentralBank_Central_Bank_read_account_update_00_end_Central_Bank [ color="#00ff00" constraint=false ];
bank_to_central_bank_account_update_message_sync_start_0 -> Bank_Bank_update_ecb_account_Bank_07_Bank_08 [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; CentralBank_Central_Bank_read_account_update_00_end_Central_Bank; bank_to_central_bank_account_update_message_sync_end_0; }
gov_to_central_bank_account_update_message [ label = "gov_to_central_bank_account_update" color="#00ff00" shape = parallelogram];
gov_to_central_bank_account_update_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
gov_to_central_bank_account_update_message_sync_start_0 -> gov_to_central_bank_account_update_message [ color="#00ff00" label="gov_to_central_bank_account_update_104"];
{ rank=same; Government_Government_send_account_update_06_07; gov_to_central_bank_account_update_message_sync_start_0; }
gov_to_central_bank_account_update_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
gov_to_central_bank_account_update_message_sync_end_0 -> gov_to_central_bank_account_update_message_sync_start_0 [ color="#00ff00" ];
gov_to_central_bank_account_update_message_sync_end_0 -> CentralBank_Central_Bank_read_account_update_00_end_Central_Bank [ color="#00ff00" constraint=false ];
gov_to_central_bank_account_update_message_sync_start_0 -> Government_Government_send_account_update_06_07 [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; CentralBank_Central_Bank_read_account_update_00_end_Central_Bank; gov_to_central_bank_account_update_message_sync_end_0; }
wage_payment_message [ label = "wage_payment" color="#00ff00" shape = parallelogram];
wage_payment_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
wage_payment_message_sync_start_0 -> wage_payment_message [ color="#00ff00" label="wage_payment_67"];
{ rank=same; Firm_Firm_calc_pay_costs_11_12; wage_payment_message_sync_start_0; }
wage_payment_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
wage_payment_message_sync_end_0 -> wage_payment_message_sync_start_0 [ color="#00ff00" ];
wage_payment_message_sync_end_0 -> Household_Household_receive_wage_06e_07 [ color="#00ff00" constraint=false ];
wage_payment_message_sync_start_0 -> Firm_Firm_calc_pay_costs_11_12 [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; Household_Household_receive_wage_06e_07; wage_payment_message_sync_end_0; }
quality_price_info_1_message [ label = "quality_price_info_1" color="#00ff00" shape = parallelogram];
quality_price_info_1_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
quality_price_info_1_message_sync_start_0 -> quality_price_info_1_message [ color="#00ff00" label="quality_price_info_1_70"];
{ rank=same; Mall_Mall_send_quality_price_info_1_02_03; quality_price_info_1_message_sync_start_0; }
quality_price_info_1_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
quality_price_info_1_message_sync_end_0 -> quality_price_info_1_message_sync_start_0 [ color="#00ff00" ];
quality_price_info_1_message_sync_end_0 -> Household_Household_rank_and_buy_goods_1_09_10 [ color="#00ff00" constraint=false ];
quality_price_info_1_message_sync_end_0 -> Government_Government_rank_and_buy_goods_1_Gov_Cons_1_Gov_Cons_2 [ color="#00ff00" constraint=false ];
quality_price_info_1_message_sync_start_0 -> Mall_Mall_send_quality_price_info_1_02_03 [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; Government_Government_rank_and_buy_goods_1_Gov_Cons_1_Gov_Cons_2; quality_price_info_1_message_sync_end_0; }
quality_price_info_2_message [ label = "quality_price_info_2" color="#00ff00" shape = parallelogram];
quality_price_info_2_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
quality_price_info_2_message_sync_start_0 -> quality_price_info_2_message [ color="#00ff00" label="quality_price_info_2_74"];
{ rank=same; Mall_Mall_update_mall_stocks_sales_rationing_1_03_04; quality_price_info_2_message_sync_start_0; }
quality_price_info_2_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
quality_price_info_2_message_sync_end_0 -> quality_price_info_2_message_sync_start_0 [ color="#00ff00" ];
quality_price_info_2_message_sync_end_0 -> Household_Household_rank_and_buy_goods_2_11_12 [ color="#00ff00" constraint=false ];
quality_price_info_2_message_sync_end_0 -> Government_Government_rank_and_buy_goods_2_Gov_Cons_3_Gov_Cons_4 [ color="#00ff00" constraint=false ];
quality_price_info_2_message_sync_start_0 -> Mall_Mall_update_mall_stocks_sales_rationing_1_03_04 [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; Government_Government_rank_and_buy_goods_2_Gov_Cons_3_Gov_Cons_4; quality_price_info_2_message_sync_end_0; }
update_mall_stock_message [ label = "update_mall_stock" color="#00ff00" shape = parallelogram];
update_mall_stock_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
update_mall_stock_message_sync_start_0 -> update_mall_stock_message [ color="#00ff00" label="update_mall_stock_68"];
{ rank=same; Firm_Firm_send_goods_to_mall_12_Firm_Start_Seller_Role; update_mall_stock_message_sync_start_0; }
update_mall_stock_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
update_mall_stock_message_sync_end_0 -> update_mall_stock_message_sync_start_0 [ color="#00ff00" ];
update_mall_stock_message_sync_end_0 -> Mall_Mall_update_mall_stock_01_02 [ color="#00ff00" constraint=false ];
update_mall_stock_message_sync_start_0 -> Firm_Firm_send_goods_to_mall_12_Firm_Start_Seller_Role [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; Mall_Mall_update_mall_stock_01_02; update_mall_stock_message_sync_end_0; }
consumption_request_1_message [ label = "consumption_request_1" color="#00ff00" shape = parallelogram];
consumption_request_1_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
consumption_request_1_message_sync_start_0 -> consumption_request_1_message [ color="#00ff00" label="consumption_request_1_72"];
{ rank=same; Household_Household_rank_and_buy_goods_1_09_10; consumption_request_1_message_sync_start_0; }
consumption_request_1_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
consumption_request_1_message_sync_end_0 -> consumption_request_1_message_sync_start_0 [ color="#00ff00" ];
consumption_request_1_message_sync_end_0 -> Mall_Mall_update_mall_stocks_sales_rationing_1_03_04 [ color="#00ff00" constraint=false ];
consumption_request_1_message_sync_start_0 -> Government_Government_rank_and_buy_goods_1_Gov_Cons_1_Gov_Cons_2 [ color="#00ff00", constraint=false, style=dashed ];
consumption_request_1_message_sync_start_0 -> Household_Household_rank_and_buy_goods_1_09_10 [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; Mall_Mall_update_mall_stocks_sales_rationing_1_03_04; consumption_request_1_message_sync_end_0; }
consumption_request_2_message [ label = "consumption_request_2" color="#00ff00" shape = parallelogram];
consumption_request_2_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
consumption_request_2_message_sync_start_0 -> consumption_request_2_message [ color="#00ff00" label="consumption_request_2_75"];
{ rank=same; Household_Household_rank_and_buy_goods_2_11_12; consumption_request_2_message_sync_start_0; }
consumption_request_2_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
consumption_request_2_message_sync_end_0 -> consumption_request_2_message_sync_start_0 [ color="#00ff00" ];
consumption_request_2_message_sync_end_0 -> Mall_Mall_update_mall_stocks_sales_rationing_2_04_05 [ color="#00ff00" constraint=false ];
consumption_request_2_message_sync_start_0 -> Government_Government_rank_and_buy_goods_2_Gov_Cons_3_Gov_Cons_4 [ color="#00ff00", constraint=false, style=dashed ];
consumption_request_2_message_sync_start_0 -> Household_Household_rank_and_buy_goods_2_11_12 [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; Mall_Mall_update_mall_stocks_sales_rationing_2_04_05; consumption_request_2_message_sync_end_0; }
accepted_consumption_1_message [ label = "accepted_consumption_1" color="#00ff00" shape = parallelogram];
accepted_consumption_1_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
accepted_consumption_1_message_sync_start_0 -> accepted_consumption_1_message [ color="#00ff00" label="accepted_consumption_1_73"];
{ rank=same; Mall_Mall_update_mall_stocks_sales_rationing_1_03_04; accepted_consumption_1_message_sync_start_0; }
accepted_consumption_1_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
accepted_consumption_1_message_sync_end_0 -> accepted_consumption_1_message_sync_start_0 [ color="#00ff00" ];
accepted_consumption_1_message_sync_end_0 -> Household_Household_receive_goods_read_rationing_10_11 [ color="#00ff00" constraint=false ];
accepted_consumption_1_message_sync_end_0 -> Government_Government_receive_goods_read_rationing_Gov_Cons_2_Gov_Cons_3 [ color="#00ff00" constraint=false ];
accepted_consumption_1_message_sync_start_0 -> Mall_Mall_update_mall_stocks_sales_rationing_1_03_04 [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; Household_Household_receive_goods_read_rationing_10_11; accepted_consumption_1_message_sync_end_0; }
accepted_consumption_2_message [ label = "accepted_consumption_2" color="#00ff00" shape = parallelogram];
accepted_consumption_2_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
accepted_consumption_2_message_sync_start_0 -> accepted_consumption_2_message [ color="#00ff00" label="accepted_consumption_2_76"];
{ rank=same; Mall_Mall_update_mall_stocks_sales_rationing_2_04_05; accepted_consumption_2_message_sync_start_0; }
accepted_consumption_2_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
accepted_consumption_2_message_sync_end_0 -> accepted_consumption_2_message_sync_start_0 [ color="#00ff00" ];
accepted_consumption_2_message_sync_end_0 -> Household_Household_receive_goods_read_rationing_2_12_14 [ color="#00ff00" constraint=false ];
accepted_consumption_2_message_sync_end_0 -> Government_Government_receive_goods_read_rationing_2_Gov_Cons_4_Gov_Cons_5 [ color="#00ff00" constraint=false ];
accepted_consumption_2_message_sync_start_0 -> Mall_Mall_update_mall_stocks_sales_rationing_2_04_05 [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; Household_Household_receive_goods_read_rationing_2_12_14; accepted_consumption_2_message_sync_end_0; }
sales_message [ label = "sales" color="#00ff00" shape = parallelogram];
sales_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
sales_message_sync_start_0 -> sales_message [ color="#00ff00" label="sales_77"];
{ rank=same; Mall_Mall_pay_firm_05_05a; sales_message_sync_start_0; }
sales_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
sales_message_sync_end_0 -> sales_message_sync_start_0 [ color="#00ff00" ];
sales_message_sync_end_0 -> Firm_Firm_calc_revenue_Firm_Start_Seller_Role_Firm_End_Seller_Role [ color="#00ff00" constraint=false ];
sales_message_sync_start_0 -> Mall_Mall_pay_firm_05_05a [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; Firm_Firm_calc_revenue_Firm_Start_Seller_Role_Firm_End_Seller_Role; sales_message_sync_end_0; }
specific_skill_update_message [ label = "specific_skill_update" color="#00ff00" shape = parallelogram];
specific_skill_update_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
specific_skill_update_message_sync_start_0 -> specific_skill_update_message [ color="#00ff00" label="specific_skill_update_78"];
{ rank=same; Household_Household_update_specific_skills_07_08; specific_skill_update_message_sync_start_0; }
specific_skill_update_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
specific_skill_update_message_sync_end_0 -> specific_skill_update_message_sync_start_0 [ color="#00ff00" ];
specific_skill_update_message_sync_end_0 -> Firm_Firm_update_specific_skills_of_workers_Firm_End_Seller_Role_14 [ color="#00ff00" constraint=false ];
specific_skill_update_message_sync_start_0 -> Household_Household_update_specific_skills_07_08 [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; Firm_Firm_update_specific_skills_of_workers_Firm_End_Seller_Role_14; specific_skill_update_message_sync_end_0; }
policy_rate_message [ label = "policy_rate" color="#00ff00" shape = parallelogram];
policy_rate_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
policy_rate_message_sync_start_0 -> policy_rate_message [ color="#00ff00" label="policy_rate_7"];
{ rank=same; CentralBank_Central_Bank_monetary_policy_CB_reset_CB_market_operations; policy_rate_message_sync_start_0; }
policy_rate_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
policy_rate_message_sync_end_0 -> policy_rate_message_sync_start_0 [ color="#00ff00" ];
policy_rate_message_sync_end_0 -> Bank_Bank_read_policy_rate_Bank_update_policy_rate_Bank_start_credit_market_role [ color="#00ff00" constraint=false ];
policy_rate_message_sync_start_0 -> CentralBank_Central_Bank_monetary_policy_CB_reset_CB_market_operations [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; Bank_Bank_read_policy_rate_Bank_update_policy_rate_Bank_start_credit_market_role; policy_rate_message_sync_end_0; }
bank_identity_message [ label = "bank_identity" color="#00ff00" shape = parallelogram];
bank_identity_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
bank_identity_message_sync_start_0 -> bank_identity_message [ color="#00ff00" label="bank_identity_32"];
{ rank=same; Bank_Bank_communicate_identity_Bank_start_credit_market_role_Bank_01; bank_identity_message_sync_start_0; }
bank_identity_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
bank_identity_message_sync_end_0 -> bank_identity_message_sync_start_0 [ color="#00ff00" ];
bank_identity_message_sync_end_0 -> Firm_Firm_ask_loan_Firm_Start_Credit_Role_Firm_Credit_02 [ color="#00ff00" constraint=false ];
bank_identity_message_sync_start_0 -> Bank_Bank_communicate_identity_Bank_start_credit_market_role_Bank_01 [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; Firm_Firm_ask_loan_Firm_Start_Credit_Role_Firm_Credit_02; bank_identity_message_sync_end_0; }
loan_request_message [ label = "loan_request" color="#00ff00" shape = parallelogram];
loan_request_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
loan_request_message_sync_start_0 -> loan_request_message [ color="#00ff00" label="loan_request_33"];
{ rank=same; Firm_Firm_ask_loan_Firm_Start_Credit_Role_Firm_Credit_02; loan_request_message_sync_start_0; }
loan_request_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
loan_request_message_sync_end_0 -> loan_request_message_sync_start_0 [ color="#00ff00" ];
loan_request_message_sync_end_0 -> Bank_Bank_rank_credit_requests_Bank_02_Bank_021 [ color="#00ff00" constraint=false ];
loan_request_message_sync_start_0 -> Firm_Firm_ask_loan_Firm_Start_Credit_Role_Firm_Credit_02 [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; Bank_Bank_rank_credit_requests_Bank_02_Bank_021; loan_request_message_sync_end_0; }
loan_request_ranked_message [ label = "loan_request_ranked" color="#00ff00" shape = parallelogram];
loan_request_ranked_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
loan_request_ranked_message_sync_start_0 -> loan_request_ranked_message [ color="#00ff00" label="loan_request_ranked_34"];
{ rank=same; Bank_Bank_rank_credit_requests_Bank_02_Bank_021; loan_request_ranked_message_sync_start_0; }
loan_request_ranked_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
loan_request_ranked_message_sync_end_0 -> loan_request_ranked_message_sync_start_0 [ color="#00ff00" ];
loan_request_ranked_message_sync_end_0 -> Bank_Bank_decide_credit_conditions_Bank_021_Bank_03 [ color="#00ff00" constraint=false ];
loan_request_ranked_message_sync_start_0 -> Bank_Bank_rank_credit_requests_Bank_02_Bank_021 [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; Bank_Bank_decide_credit_conditions_Bank_021_Bank_03; loan_request_ranked_message_sync_end_0; }
loan_conditions_message [ label = "loan_conditions" color="#00ff00" shape = parallelogram];
loan_conditions_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
loan_conditions_message_sync_start_0 -> loan_conditions_message [ color="#00ff00" label="loan_conditions_35"];
{ rank=same; Bank_Bank_decide_credit_conditions_Bank_021_Bank_03; loan_conditions_message_sync_start_0; }
loan_conditions_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
loan_conditions_message_sync_end_0 -> loan_conditions_message_sync_start_0 [ color="#00ff00" ];
loan_conditions_message_sync_end_0 -> Firm_Firm_get_loan_Firm_Credit_02_Firm_End_Credit_Role [ color="#00ff00" constraint=false ];
loan_conditions_message_sync_start_0 -> Bank_Bank_decide_credit_conditions_Bank_021_Bank_03 [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; Firm_Firm_get_loan_Firm_Credit_02_Firm_End_Credit_Role; loan_conditions_message_sync_end_0; }
loan_acceptance_message [ label = "loan_acceptance" color="#00ff00" shape = parallelogram];
loan_acceptance_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
loan_acceptance_message_sync_start_0 -> loan_acceptance_message [ color="#00ff00" label="loan_acceptance_36"];
{ rank=same; Firm_Firm_get_loan_Firm_Credit_02_Firm_End_Credit_Role; loan_acceptance_message_sync_start_0; }
loan_acceptance_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
loan_acceptance_message_sync_end_0 -> loan_acceptance_message_sync_start_0 [ color="#00ff00" ];
loan_acceptance_message_sync_end_0 -> Bank_Bank_give_loan_Bank_03_Bank_04 [ color="#00ff00" constraint=false ];
loan_acceptance_message_sync_start_0 -> Firm_Firm_get_loan_Firm_Credit_02_Firm_End_Credit_Role [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; Bank_Bank_give_loan_Bank_03_Bank_04; loan_acceptance_message_sync_end_0; }
installment_message [ label = "installment" color="#00ff00" shape = parallelogram];
installment_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
installment_message_sync_start_0 -> installment_message [ color="#00ff00" label="installment_41"];
{ rank=same; Firm_Firm_execute_financial_payments_Firm_End_External_Financing_Firm_End_Financial_Management; installment_message_sync_start_0; }
installment_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
installment_message_sync_end_0 -> installment_message_sync_start_0 [ color="#00ff00" ];
installment_message_sync_end_0 -> Bank_Bank_receive_installment_Bank_04_Bank_05 [ color="#00ff00" constraint=false ];
installment_message_sync_start_0 -> Firm_Firm_execute_financial_payments_Firm_End_External_Financing_Firm_End_Financial_Management [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; Bank_Bank_receive_installment_Bank_04_Bank_05; installment_message_sync_end_0; }
bankruptcy_message [ label = "bankruptcy" color="#00ff00" shape = parallelogram];
bankruptcy_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
bankruptcy_message_sync_start_0 -> bankruptcy_message [ color="#00ff00" label="bankruptcy_41"];
{ rank=same; Firm_Firm_bankruptcy_rescale_loans_Firm_bankruptcy_state_0_Firm_bankruptcy_state_01; bankruptcy_message_sync_start_0; }
bankruptcy_message_sync_end_0 [ label = "end" color="#00ff00" shape = parallelogram];
bankruptcy_message_sync_end_0 -> bankruptcy_message_sync_start_0 [ color="#00ff00" ];
bankruptcy_message_sync_end_0 -> Bank_Bank_receive_installment_Bank_04_Bank_05 [ color="#00ff00" constraint=false ];
bankruptcy_message_sync_start_0 -> Firm_Firm_bankruptcy_rescale_loans_Firm_bankruptcy_state_0_Firm_bankruptcy_state_01 [ color="#00ff00", constraint=false, style=dashed ];
{ rank=same; Bank_Bank_receive_installment_Bank_04_Bank_05; bankruptcy_message_sync_end_0; }
bank_interest_payment_message [ label = "bank_interest_payment" color="#00ff00" shape = parallelogram];
bank_interest_payment_message_sync_start_0 [ label = "start" color="#00ff00" shape = parallelogram];
bank_interest_payment_message_sync_start_0 -> bank_interest_payment_message [ color="#00ff00" label="bank_interest_payment_104"];