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

Information About the Model

It is a Colored 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 Lom-Messan Hillah.

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

sharedmemory

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