@@ -73,26 +73,26 @@ public function createComplexWorkflowDefinitionDumpWithMarking()
73
73
place_e [label="e", shape=circle];
74
74
place_f [label="f", shape=circle];
75
75
place_g [label="g", shape=circle];
76
- transition_t1 [label="t1", shape=box, shape="box", regular="1"];
77
- transition_t2 [label="t2", shape=box, shape="box", regular="1"];
78
- transition_t3 [label="t3", shape=box, shape="box", regular="1"];
79
- transition_t4 [label="t4", shape=box, shape="box", regular="1"];
80
- transition_t5 [label="t5", shape=box, shape="box", regular="1"];
81
- transition_t6 [label="t6", shape=box, shape="box", regular="1"];
82
- place_a -> transition_t1 [style="solid"];
83
- transition_t1 -> place_b [style="solid"];
84
- transition_t1 -> place_c [style="solid"];
85
- place_b -> transition_t2 [style="solid"];
86
- place_c -> transition_t2 [style="solid"];
87
- transition_t2 -> place_d [style="solid"];
88
- place_d -> transition_t3 [style="solid"];
89
- transition_t3 -> place_e [style="solid"];
90
- place_d -> transition_t4 [style="solid"];
91
- transition_t4 -> place_f [style="solid"];
92
- place_e -> transition_t5 [style="solid"];
93
- transition_t5 -> place_g [style="solid"];
94
- place_f -> transition_t6 [style="solid"];
95
- transition_t6 -> place_g [style="solid"];
76
+ transition_0 [label="t1", shape=box, shape="box", regular="1"];
77
+ transition_1 [label="t2", shape=box, shape="box", regular="1"];
78
+ transition_2 [label="t3", shape=box, shape="box", regular="1"];
79
+ transition_3 [label="t4", shape=box, shape="box", regular="1"];
80
+ transition_4 [label="t5", shape=box, shape="box", regular="1"];
81
+ transition_5 [label="t6", shape=box, shape="box", regular="1"];
82
+ place_a -> transition_0 [style="solid"];
83
+ transition_0 -> place_b [style="solid"];
84
+ transition_0 -> place_c [style="solid"];
85
+ place_b -> transition_1 [style="solid"];
86
+ place_c -> transition_1 [style="solid"];
87
+ transition_1 -> place_d [style="solid"];
88
+ place_d -> transition_2 [style="solid"];
89
+ transition_2 -> place_e [style="solid"];
90
+ place_d -> transition_3 [style="solid"];
91
+ transition_3 -> place_f [style="solid"];
92
+ place_e -> transition_4 [style="solid"];
93
+ transition_4 -> place_g [style="solid"];
94
+ place_f -> transition_5 [style="solid"];
95
+ transition_5 -> place_g [style="solid"];
96
96
}
97
97
' ;
98
98
}
@@ -107,12 +107,12 @@ public function createSimpleWorkflowDumpWithMarking()
107
107
place_a [label="a", shape=circle, style="filled"];
108
108
place_b [label="b", shape=circle];
109
109
place_c [label="c", shape=circle, color="#FF0000", shape="doublecircle"];
110
- transition_t1 [label="t1", shape=box, shape="box", regular="1"];
111
- transition_t2 [label="t2", shape=box, shape="box", regular="1"];
112
- place_a -> transition_t1 [style="solid"];
113
- transition_t1 -> place_b [style="solid"];
114
- place_b -> transition_t2 [style="solid"];
115
- transition_t2 -> place_c [style="solid"];
110
+ transition_0 [label="t1", shape=box, shape="box", regular="1"];
111
+ transition_1 [label="t2", shape=box, shape="box", regular="1"];
112
+ place_a -> transition_0 [style="solid"];
113
+ transition_0 -> place_b [style="solid"];
114
+ place_b -> transition_1 [style="solid"];
115
+ transition_1 -> place_c [style="solid"];
116
116
}
117
117
' ;
118
118
}
@@ -131,26 +131,26 @@ public function provideComplexWorkflowDumpWithoutMarking()
131
131
place_e [label="e", shape=circle];
132
132
place_f [label="f", shape=circle];
133
133
place_g [label="g", shape=circle];
134
- transition_t1 [label="t1", shape=box, shape="box", regular="1"];
135
- transition_t2 [label="t2", shape=box, shape="box", regular="1"];
136
- transition_t3 [label="t3", shape=box, shape="box", regular="1"];
137
- transition_t4 [label="t4", shape=box, shape="box", regular="1"];
138
- transition_t5 [label="t5", shape=box, shape="box", regular="1"];
139
- transition_t6 [label="t6", shape=box, shape="box", regular="1"];
140
- place_a -> transition_t1 [style="solid"];
141
- transition_t1 -> place_b [style="solid"];
142
- transition_t1 -> place_c [style="solid"];
143
- place_b -> transition_t2 [style="solid"];
144
- place_c -> transition_t2 [style="solid"];
145
- transition_t2 -> place_d [style="solid"];
146
- place_d -> transition_t3 [style="solid"];
147
- transition_t3 -> place_e [style="solid"];
148
- place_d -> transition_t4 [style="solid"];
149
- transition_t4 -> place_f [style="solid"];
150
- place_e -> transition_t5 [style="solid"];
151
- transition_t5 -> place_g [style="solid"];
152
- place_f -> transition_t6 [style="solid"];
153
- transition_t6 -> place_g [style="solid"];
134
+ transition_0 [label="t1", shape=box, shape="box", regular="1"];
135
+ transition_1 [label="t2", shape=box, shape="box", regular="1"];
136
+ transition_2 [label="t3", shape=box, shape="box", regular="1"];
137
+ transition_3 [label="t4", shape=box, shape="box", regular="1"];
138
+ transition_4 [label="t5", shape=box, shape="box", regular="1"];
139
+ transition_5 [label="t6", shape=box, shape="box", regular="1"];
140
+ place_a -> transition_0 [style="solid"];
141
+ transition_0 -> place_b [style="solid"];
142
+ transition_0 -> place_c [style="solid"];
143
+ place_b -> transition_1 [style="solid"];
144
+ place_c -> transition_1 [style="solid"];
145
+ transition_1 -> place_d [style="solid"];
146
+ place_d -> transition_2 [style="solid"];
147
+ transition_2 -> place_e [style="solid"];
148
+ place_d -> transition_3 [style="solid"];
149
+ transition_3 -> place_f [style="solid"];
150
+ place_e -> transition_4 [style="solid"];
151
+ transition_4 -> place_g [style="solid"];
152
+ place_f -> transition_5 [style="solid"];
153
+ transition_5 -> place_g [style="solid"];
154
154
}
155
155
' ;
156
156
}
@@ -165,12 +165,12 @@ public function provideSimpleWorkflowDumpWithoutMarking()
165
165
place_a [label="a", shape=circle, style="filled"];
166
166
place_b [label="b", shape=circle];
167
167
place_c [label="c", shape=circle];
168
- transition_t1 [label="t1", shape=box, shape="box", regular="1"];
169
- transition_t2 [label="t2", shape=box, shape="box", regular="1"];
170
- place_a -> transition_t1 [style="solid"];
171
- transition_t1 -> place_b [style="solid"];
172
- place_b -> transition_t2 [style="solid"];
173
- transition_t2 -> place_c [style="solid"];
168
+ transition_0 [label="t1", shape=box, shape="box", regular="1"];
169
+ transition_1 [label="t2", shape=box, shape="box", regular="1"];
170
+ place_a -> transition_0 [style="solid"];
171
+ transition_0 -> place_b [style="solid"];
172
+ place_b -> transition_1 [style="solid"];
173
+ transition_1 -> place_c [style="solid"];
174
174
}
175
175
' ;
176
176
}
0 commit comments