RISCSIM Style
Lots of small models representing resources, with mappings between them.
- individual models are simple coloured, timed transition, stocastic, Petri Nets;
- different kinds of places and transitions for common cases - avoid arbitrary guard expressions;
- transitions represent resource use - resources are associated with objects that fulfil roles in configuration behaviour;
- in general, models are Petri Net fragments - they have entry and exit transitions.