Configuration Definition
The steps in defining a static configuration are:
- definition of a behavioural network;
- association of typed, object-based, roles with each place or transition;
- definition of a set of available objects;
- definition of a number of configuration instances, each of which binds a specific object to each behavioural role;
- configuration instances also carry probability distributions for non-deterministic choices;
- they maintain some instance-specific state.