This module checks a QPN for specification inconsistencies. These could be naming inconsistencies between colour names of a place or transition and its corresponding colours in a locally unfolded transition. This type of error can be avoided by automatic generation of net components in locally unfolded transitions.
Another common error is: although the QPN appears as a connected graph, it is possible that for certain colours a place or transition happens to be a source or sink. This affects boundedness or liveness of a QPN. Thus it is checked and a user information is produced.