Initial simplifications
Only two token types, and two associated families of places
- transaction - coloured - describes an item of work;
- control token - uncoloured.
Don’t allow arbitrary guards and expressions
- roll these into a limited number of place/transition types, and some arc labels;
- keep cost of checking firing conditions down.
Limit data types to
- enumeration and reference;
- costs (real).