Introduction

This page summarizes the results of the MCC'2013 @ Petri Nets. You will find:

• the summary of the execution of tools for each examination,
• The scores computed for the tool participating to the examinations.

Result Summary per Examination

• CTLCardinalityComparison: access the results summary here,
• CTLFireability: access the results summary here,
• CTLMarkingComparison: access the results summary here,
• CTLMix: access the results summary here,
• CTLPlaceComparison: access the results summary here,
• LTLCardinalityComparison: access the results summary here,
• LTLFireability: access the results summary here,
• LTLMarkingComparison: access the results summary here,
• LTLMix: access the results summary here,
• LTLPlaceComparison: access the results summary here,
• ReachabilityCardinalityComparison: access the results summary here,
• ReachabilityDeadlock: access the results summary here,
• ReachabilityFireability: access the results summary here,
• ReachabilityMarkingComparison: access the results summary here,
• ReachabilityMix: access the results summary here,
• ReachabilityPlaceComparison: access the results summary here,
• StateSpace: access the results summary here,

Scores of Participating Tools per Examination

• CTLCardinalityComparison: access scores here,
• CTLFireability: access scores here,
• CTLMarkingComparison: access scores here,
• CTLMix: access scores here,
• CTLPlaceComparison: access scores here,
• LTLCardinalityComparison: access scores here,
• LTLFireability: access scores here,
• LTLMarkingComparison: access scores here,
• LTLMix: access scores here,
• LTLPlaceComparison: access scores here,
• ReachabilityCardinalityComparison: access scores here,
• ReachabilityDeadlock: access scores here,
• ReachabilityFireability: access scores here,
• ReachabilityMarkingComparison: access scores here,
• ReachabilityMix: access scores here,
• ReachabilityPlaceComparison: access scores here,
• StateSpace: access scores here,