HomeRulesCfPCall for ModelsOrganizersMCC 2011
Model Checking Contest @ PETRI NETS 2012
Hamburg, Germany, June 25-29 2012
The "Eratosthenes' Sieve" Model

Information About the Model

It is a Colored with extra features model and there are also equivalence P/T versions (maybe only for less instances than the ones of the colored model), it has been proposed by Franck Pommereau.

The model Form

It can be downloaded here.

Full Archive with all Model Data (PNML + potentially proprietary format)

It can be downloaded here.

Picture of The Model

eratosthenes

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: Colored with extra features model and there are also equivalence P/T versions (maybe only for less instances than the ones of the colored model).