Introduction

This page summarizes the trophies won by the tools for ReachabilityPlaceComparison. At this stage, we think this is not possible to provide a global trophy for the MCC @ Petri Net 2013.

Separated trophies for ReachabilityPlaceComparison

We first consider separately the two types of models.

Trophies for the “Known” Models				Trophies for the “Surprise” Models
LoLA 170 (points)	LoLA optimistic 170 (points)	LoLA pessimistic 120 (points)	Marcie 120 (points)	Marcie 22 (points)	LoLA 12 (points)	LoLA optimistic 12 (points)

Global trophies for ReachabilityPlaceComparison

For this trophy, we use the following formula: results on “Known” models + 2 x results on “Surprise” models.

Trophies for All Models
LoLA 194 (points)	LoLA optimistic 194 (points)	Marcie 164 (points)