1 post tagged with "dsl"
An interpreted language for Petri net token models with guards, invariants, and data state semantics.