Dear Petri-netters,
We are glad to announce the list of qualified tools for the MCC’2015. They are,
by alphabetical order :
- Cunf from Univ. Paris 13 (France)
- GreatSPN-Meddly from Univ. Torino (Italy)
- ITS-Tools from Univ. P. & M. Curie (France)
- LoLA 2.0 from Univ. Rostock (Germany)
- LTSMin from Univ. Twente (Netherlands)
- Marcie from Univ. Cottbuss (Germany)
- pnmc from IRT Saint-Exupéry (France)
- PNXDD from Univ. P. & M. Curie (France)
- StrataGEM 0.5.0 from Univ. Genève (Switzerland)
- TAPAAL (4 variants) from Univ. Aalborg (Denmark)
You may get some details about these submission there:
http://mcc.lip6.fr/results.php
Best regards.
Fabrice (on behalf of the organizing committee)
--------------------------------------------------------------------------------------
Fabrice Kordon
Université Pierre & Marie Curie
LIP6/MoVe, Bureau 26/25-212
4 place Jussieu, 75252 Paris Cedex 05
http://lip6.fr/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] ]]
