Cosmos issueshttps://git.lacl.fr/barbot/Cosmos/-/issues2018-03-15T15:44:58Zhttps://git.lacl.fr/barbot/Cosmos/-/issues/3Test de la compatibilité des modèles2018-03-15T15:44:58ZYann DuplouyTest de la compatibilité des modèlesYann DuplouyYann Duplouyhttps://git.lacl.fr/barbot/Cosmos/-/issues/4Réseaux de Petri mettant en avant chacune des implémentations2018-02-28T13:40:57ZYann DuplouyRéseaux de Petri mettant en avant chacune des implémentationsÉcrire et tester des réseaux de Petri colorés pour les deux implémentations; vérifier si ils donnent un résultat attendu, etc.Écrire et tester des réseaux de Petri colorés pour les deux implémentations; vérifier si ils donnent un résultat attendu, etc.https://git.lacl.fr/barbot/Cosmos/-/issues/5Modèles faisant intervenir des réels2018-02-28T13:41:27ZYann DuplouyModèles faisant intervenir des réelsÉcrire et tester des modèles faisant intervenir des réelsÉcrire et tester des modèles faisant intervenir des réelshttps://git.lacl.fr/barbot/Cosmos/-/issues/6Communication RdPc-Simulink2018-02-28T13:45:29ZYann DuplouyCommunication RdPc-SimulinkIntégration entre réseaux de Petri colorés et Simulink : réalisation et mise en place d'un formalisme multi-modèles efficace.Intégration entre réseaux de Petri colorés et Simulink : réalisation et mise en place d'un formalisme multi-modèles efficace.https://git.lacl.fr/barbot/Cosmos/-/issues/7Implémentation Simulink dans modelConvert2018-02-28T13:45:04ZYann DuplouyImplémentation Simulink dans modelConvertYann DuplouyYann Duplouyhttps://git.lacl.fr/barbot/Cosmos/-/issues/8Intégration Stateflow dans CosmosSimulink2018-02-28T13:46:27ZYann DuplouyIntégration Stateflow dans CosmosSimulinkYann DuplouyYann Duplouy