From 1b03a87e3239a2a8e6ab1748c02135403f4b8653 Mon Sep 17 00:00:00 2001
From: Pamela Dyer <pamela.dyer@uconn.edu>
Date: Sat, 17 Jul 2021 22:19:24 +0000
Subject: [PATCH] Update Example32_Petri_Net.mp
---
Example32_Petri_Net.mp | 1 +
1 file changed, 1 insertion(+)
diff --git a/Example32_Petri_Net.mp b/Example32_Petri_Net.mp
index 97d44d5..4515b3b 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.
==========================================================*/
--
GitLab