Projects MoVe

Team : MoVe

  • http://pnml.lip6.fr
    PNML Framework

    PNML Framework is a prototype implementation of ISO/IEC-15909 part 2, International Standard on Petri Net Markup Language. The primary purpose of PNML is to enable interoperability among Petri net tools. PNML framework has thus been designed to back the Standard. It will enable Petri nets tools developers to seamlessly integrate PNML support into their tools. It provides an extensive and comprehensible API to create, save, load and browse PNML models.

    Project leader : Fabrice KORDON
    04/01/2005
    More details here
  • http://polyorb.ow2.org/
    PolyORB - PolyORB: A schizophrenic midleware

    PolyORB is a join project between LIP6 and Telecom Paris

    Project leader : Fabrice KORDON
    01/01/2001
    More details here
  • https://www.lip6.fr/cpn-ami
    CPN-AMI

    is a Petri Net based CASE environment. It offers a set of services to perform specification, validation, formal verification, model checking, compute structural properties (invariants, traps, syphons etc.) simulate and generate code. These services have been implemented either by members of our team or university partners (Technical university of Helsinki, University of Torino, Technical university of Munchen, Bell laboratories). The second geration of CPN-AMI, build on top of FrameKit, is available on the Internet since March 1997.

    Project leader : Fabrice KORDON
    12/01/1994
    More details here
  • http://spot.lip6.fr/wiki/
    SPOT - Spot Produces Our Traces

    SPOT (Spot Produces Our Traces) est une bibliothèque de model-checking facilement extensible. À la différence des model-checkers existants, dont le mode opératoire est immuable, SPOT fournit des briques que l'utilisateur peut combiner entre elles pour réaliser un model-checker répondant à ses propres besoins. Une telle modularité permet d'expérimenter facilement différentes combinaisons, et facilite le développement de nouveaux algorithmes. D'autre part, cette bibliothèque est centrée autour d'un type d'automates particulier permettant d'exprimer les propriétés à vérifier de façon plus compacte, qui n'a jamais été utilisé dans un outil jusqu'à présent.

    Project leader : Denis POITRENAUD

    More details here
Archives
 Mentions légales
Site map |