Information About the Model
It is a P/T model, it has been proposed by Cesar Rodriguez for the 2013 edition of the model checking contest.
The model Form
It can be downloaded here.
Full Archive with all Model Data (PNML + evaluation formula)
It can be downloaded here.
Picture of The Model
Note: even if the specification is provided as a colored one, the category the model belongs to is the one provided in the information section: P/T model.