Forbidden identifiers
"state" should be a forbidden identifier for all diagrams (UPPAAL uses "state" as a reserved identifier).
Edited by Moemoea Fiérin
"state" should be a forbidden identifier for all diagrams (UPPAAL uses "state" as a reserved identifier).