English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

This article presents the results of the Model Checking Contest held at PetriNets 2012 in Hambourg. This contest aimed at a fair and experimental evaluationof the performances of model checking techniques applied to Petri nets. This isthe second edition after a successful one in 2011.  The participating tools were compared on several examinations (state spacegeneration and evaluation of several types of formulae - structural,reachability, LTL, CTL) run on a set of common models (Place/Transition andSymmetric Petri nets).  After a short overview of the contest, this paper provides the raw resultsfrom the context, model per model and examination per examination.

Raw Report on the Model Checking Contest at Petri Nets 2012