Dear all, The Model Board of the Model Checking Contest has finished to process the answers received after the Call for Models 2016.
After a careful examination, the Model Board has selected 11 new models (the "surprise" models for 2016), which expand to 9 instances of colored nets and 130 instances of P/T nets (among which 62 are Nested-Unit Petri Nets). Exchanges with the authors of the selected models enabled the Model Board to correct and complete the model forms initially submitted by the authors. Some defects have also been fixed in the known colored models published during the previous editions of the Model Checking Contest. Finally, the forms of all models that are conservative or sub-conservative have been enhanced by inferring from the initial marking the maximal number of tokens in any reachable marking. We heartily thank all our colleagues who submitted models for the MCC 2016. Hubert Garavel - Lom Messan Hillah - Fabrice Kordon
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
