From c9c6b4863d061278e2cd897b67ee74efab418a2f Mon Sep 17 00:00:00 2001
From: Joeri Exelmans <joeri.exelmans@gmail.com>
Date: Wed, 23 Jul 2025 16:56:52 +0200
Subject: [PATCH] draw filled boxes for petri net example/tutorial

---
 tutorial/05_advanced_transformation.py | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/tutorial/05_advanced_transformation.py b/tutorial/05_advanced_transformation.py
index 3ba1c79..deaf376 100644
--- a/tutorial/05_advanced_transformation.py
+++ b/tutorial/05_advanced_transformation.py
@@ -187,10 +187,10 @@ def show_petri_net(m):
     cp2 = odapi.get_slot_value(odapi.get("cp2"), "tokens")
     return f"""
      t1                   t2                   t3  
-     ┌─┐        p1        ┌─┐        p2        ┌─┐ 
-     │ │                  │ │                  │ │ 
-     │ ├─────► ( {p1} )─────►│ │─────► ( {p2} )─────►│ │ 
-     └─┘                  └─┘                  └─┘ 
+     ███        p1        ███        p2        ███ 
+     ███                  ███                  ███ 
+     ███─────► ( {p1} )─────►███─────► ( {p2} )─────►███ 
+     ███                  ███                  ███ 
       ▲                   │ ▲                   │  
       │                   │ │                   │  
       │                   │ │                   │