Commit 881ddbec authored by Imke Helene Drave's avatar Imke Helene Drave

Update Petrinet.mc4

parent f6b1dff9
Pipeline #298404 passed with stage
in 2 minutes and 12 seconds
grammar Petrinet extends de.monticore.literals.Literals {
scope Petrinet = "petrinet" Name "{"
symbol scope Petrinet = "petrinet" Name "{"
Assertion*
(Place | Transition)*
"}";
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment