Introduction

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

Separated trophies for ReachabilityDeadlock

We first consider separately the two types of models.

Trophies for the “Known” Models			Trophies for the “Surprise” Models
Sara 251 (points)	LoLA 216 (points)	LoLA optimistic 216 (points)	Sara 37 (points)	LoLA 37 (points)	LoLA optimistic 37 (points)	LoLA optimistic incomplete 37 (points)

Global trophies for ReachabilityDeadlock

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

Trophies for All Models
Sara 325 (points)	LoLA 290 (points)	LoLA optimistic 290 (points)