# Well Formed Nets

Well Formed (Coloured) Nets (WN) are formally defined as an extension of Regular Nets and have the same modelling power as general Coloured Petri Nets, i.e., any CPN can be translated into an equivalent WN model with the same underlying structure; only the expression of the colour functions and of the composition of colour classes is rewritten in a more explicit (and parametric) form, in terms of the basic constructs provided by the WN formalism.
## Definition

(according to [cdf93])

### Transition Rule

## References

- J.-M. Ilié, O. Rojas:
`On Well-Formed Nets and Optimizations in enabling tests` [ir93]
- G. Chiola, C. Dutheillet, G. Franceschinis, S. Haddad:
`On Well-Formed Coloured Nets and their Symbolic Reachability Graph` [cdf90]
- G. Chiola, C. Dutheillet, G. Franceschinis, S. Haddad:
`Stochastic Well-Formed Coloured Nets and Symmetric Modelling Applications` [cdf93]

BACK