fond
Model Checking Contest @ Petri Nets 2013
Milano, Italy, June 25, 2013
Vasy2003 (from MCC’2013 - surprise)
Last Updated
Apr. 26, 2013

Information About the Model

It is a P/T model, it has been proposed by Hubert Garavel for the 2013 - surprise 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

No picture available.

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.