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