Model Checking Contest @ Petri Nets 2013
Milano, Italy, June 25, 2013
RessAllocation (new for MCC’2013)
Last Updated
Apr. 26, 2013

Information About the Model

It is a P/T model, it has been proposed by Fernando Tricas Garcia and Joaquin Ezpeleta Mateo 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.