Cosmos issueshttps://git.lacl.fr/barbot/Cosmos/-/issues2018-02-13T12:04:33Zhttps://git.lacl.fr/barbot/Cosmos/-/issues/2Problème CosmosSimulink : blocs sans valeur par défaut2018-02-13T12:04:33ZYann DuplouyProblème CosmosSimulink : blocs sans valeur par défautLe modèle joint n'est pas correctement parsé par CosmosSimulink qui renvoit une exception Not_found. Probablement une tentative d'utiliser des valeurs par défaut qui n'existent pas.
[test1.slx](/uploads/11643d0e61540a575d6b500470fca3dd/...Le modèle joint n'est pas correctement parsé par CosmosSimulink qui renvoit une exception Not_found. Probablement une tentative d'utiliser des valeurs par défaut qui n'existent pas.
[test1.slx](/uploads/11643d0e61540a575d6b500470fca3dd/test1.slx)Yann DuplouyYann Duplouy2018-02-09https://git.lacl.fr/barbot/Cosmos/-/issues/1AVG(min(P0)) ne renvoit pas le minimum des jetons (mais 0, au lieu de 2)2017-11-27T11:24:07ZYann DuplouyAVG(min(P0)) ne renvoit pas le minimum des jetons (mais 0, au lieu de 2)Le réseau de Petri décrit dans le fichier [placemin2.grml](/uploads/e4469746a3270fc713e0a720decaf81d/placemin2.grml) contient une place P0 (marquage initial 2 jetons) et une transition T0 exponentielle qui ne peut que rajouter des jetons...Le réseau de Petri décrit dans le fichier [placemin2.grml](/uploads/e4469746a3270fc713e0a720decaf81d/placemin2.grml) contient une place P0 (marquage initial 2 jetons) et une transition T0 exponentielle qui ne peut que rajouter des jetons dans la place. On s'attend à donc min(P0) = 2 pour toute trajectoire.
Néanmoins,
`Cosmos placemin2.grml --loop 20 --HASL-expression "mymin=AVG(Min(P0));" --batch 1`
renvoie mymin : 0.