Browsing by Subject "Theoretical model"
Now showing items 1-3 of 3
-
Article
Comments on "A modified reachability tree approach to analysis of unbounded Petri nets"
(2006)The above paper introduced the construction of a modified reachability tree (MRT) for (unbounded) Petri nets and its application to reachability, liveness, and deadlock analysis. This note shows via a counterexample that ...
-
Article
Max-product algorithms for the generalized multiple-fault diagnosis problem
(2007)In this paper, we study the application of the max-product algorithm (MPA) to the generalized multiple-fault diagnosis (GMFD) problem, which consists of components (to be diagnosed) and alarms/connections that can be ...
-
Article
Network characteristics of people who inject drugs within a new HIV epidemic following austerity in Athens, Greece
(2015)Background: Greece experienced an unprecedented increase in HIV cases among drug injectors in 2011 after economic crisis. Network-level factors are increasingly understood to drive HIV transmission in emerging epidemics. ...