diff --git a/Example32_Petri_Net.mp b/Example32_Petri_Net.mp index 97d44d5b4545ea423c30cec04b1da8233b60204a..4515b3bc92e7c3c164fb032868536074d48d4a1d 100644 --- a/Example32_Petri_Net.mp +++ b/Example32_Petri_Net.mp @@ -20,6 +20,7 @@ Search terms: petri net behavior; event attribute, number; report, global extracted from the event traces, run scope 2 Instructions: Run for Scopes 1 and 2. + Scope 1: 2 traces in less than 1 sec. Scope 2: 4 traces in approx. 6.6 sec. ==========================================================*/