This commit is contained in:
Joeri Exelmans 2025-07-23 16:35:40 +02:00
parent 7974b1a26d
commit ccf075e2e7

View file

@ -1,5 +1,6 @@
# In this tutorial, we implement the semantics of Petri Nets by means of model transformation.
# Compared to the previous tutorial, it only introduces one more feature: pivots.
# Consider the following Petri Net language meta-model:
mm_cs = """