Software, Prototypes and Demonstrators

  • The TINA toolbox: edition and analysis of time Petri Nets.
  • The FIACRE intermediate language: formal description of concurrent activities with real-time constraints.