{"action":"created","issue":{"url":"https://api.github.com/repos/Kappa-Dev/KaSim/issues/21","labels_url":"https://api.github.com/repos/Kappa-Dev/KaSim/issues/21/labels{/name}","comments_url":"https://api.github.com/repos/Kappa-Dev/KaSim/issues/21/comments","events_url":"https://api.github.com/repos/Kappa-Dev/KaSim/issues/21/events","html_url":"https://github.com/Kappa-Dev/KaSim/issues/21","id":603216,"number":21,"title":"Stalled models should check for perturbations","user":{"login":"jkrivine","id":293262,"avatar_url":"https://avatars.githubusercontent.com/u/293262?v=3","gravatar_id":"","url":"https://api.github.com/users/jkrivine","html_url":"https://github.com/jkrivine","followers_url":"https://api.github.com/users/jkrivine/followers","following_url":"https://api.github.com/users/jkrivine/following{/other_user}","gists_url":"https://api.github.com/users/jkrivine/gists{/gist_id}","starred_url":"https://api.github.com/users/jkrivine/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jkrivine/subscriptions","organizations_url":"https://api.github.com/users/jkrivine/orgs","repos_url":"https://api.github.com/users/jkrivine/repos","events_url":"https://api.github.com/users/jkrivine/events{/privacy}","received_events_url":"https://api.github.com/users/jkrivine/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/Kappa-Dev/KaSim/labels/minor%20bug","name":"minor bug","color":"eda863"}],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":4,"created_at":"2011-02-16T11:03:43Z","updated_at":"2016-01-05T04:08:12Z","closed_at":"2016-01-05T04:08:12Z","body":"If model has a deadlock (no rule can be applied) at time t, and if there is a perturbation at time t+Dt then it should increment time of Dt and apply the perturbation.\r\n\r\nNote that if it deadlocks at event E and a perturbation is defined at event E+dE it should deadlock (and output a warning)"},"comment":{"url":"https://api.github.com/repos/Kappa-Dev/KaSim/issues/comments/168890734","html_url":"https://github.com/Kappa-Dev/KaSim/issues/21#issuecomment-168890734","issue_url":"https://api.github.com/repos/Kappa-Dev/KaSim/issues/21","id":168890734,"user":{"login":"pirbo","id":564669,"avatar_url":"https://avatars.githubusercontent.com/u/564669?v=3","gravatar_id":"","url":"https://api.github.com/users/pirbo","html_url":"https://github.com/pirbo","followers_url":"https://api.github.com/users/pirbo/followers","following_url":"https://api.github.com/users/pirbo/following{/other_user}","gists_url":"https://api.github.com/users/pirbo/gists{/gist_id}","starred_url":"https://api.github.com/users/pirbo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/pirbo/subscriptions","organizations_url":"https://api.github.com/users/pirbo/orgs","repos_url":"https://api.github.com/users/pirbo/repos","events_url":"https://api.github.com/users/pirbo/events{/privacy}","received_events_url":"https://api.github.com/users/pirbo/received_events","type":"User","site_admin":false},"created_at":"2016-01-05T04:08:12Z","updated_at":"2016-01-05T04:08:12Z","body":"This problem of precondition that depends on biological time is way more general than this issue with deadlocks!\r\nFor now, preconditions that contains f(t)=0 are forbidden unless f is an affine function that go not involve neither var nor e! In with cases, going to the potential stopping time even if it is after a deadlock is correctly handled.\r\nYes if a user writes f(var,t,e) > 0 we would deadlock too eagerly but so much problems and non intuitive behavior appear in thus situation that I consider deadlock management negligible!"}}