107 research outputs found

    Dynamic behaviour of infectious class with and without quarantine.

    No full text
    <p>Dynamic behaviour of infectious class with and without quarantine.</p

    Reachability Graph.

    No full text
    <p>Fig 13 shows the reachability graph consisting of a total of 56 unique markings and 273 transitions with initial marking <i>M</i><sub>0</sub> = (2, 0, 1, 0, 0, 0).</p

    Example of a <i>Standard Petri Net</i>.

    No full text
    <p>(A) A <i>Petri Net</i> consists of a set of places {<i>p</i><sub>1</sub>, <i>p</i><sub>2</sub>}, set of transitions {<i>t</i><sub>1</sub>, <i>t</i><sub>2</sub>} and an initial marking <i>M</i><sub>0</sub> consisting of one token in place <i>p</i><sub>1</sub>. In this example, the weight of the arcs are not specified so every arc weighs 1. The enabling degree of a transition is determined by number of times a transition can be fired without depositing a token again to the input place of a transition through self-loop. In case of above example <i>t</i><sub>1</sub> is 1 enabled and <i>t</i><sub>2</sub> is 0 enabled from the initial marking <i>M</i><sub>0</sub>. (B) The reachability graph obtained from initial marking <i>M</i><sub>0</sub> of the <i>Petri Net</i>. A reachability graph consist of set of places which can be reached from <i>M</i><sub>0</sub> and arcs which are labelled with enabled transitions. This graph shows one cycle: (1, 0) β†’ (0, 1) β†’ (1, 0) and contains no deadlock. To reach marking <i>M</i><sub>1</sub> = (0, 1) from the marking <i>M</i><sub>0</sub> = (1, 0), a firing sequence <i>S</i> consist of a transition <i>t</i><sub>1</sub> once and transition <i>t</i><sub>2</sub> zero time.</p

    Behaviour of infectious compartment when infection rate is greater than the recovery rate.

    No full text
    <p>Behaviour of infectious compartment when infection rate is greater than the recovery rate.</p

    Behaviour of susceptible versus recovered compartment.

    No full text
    <p>Behaviour of susceptible versus recovered compartment.</p

    Flow chart of the Proposed Framework.

    No full text
    <p>After reviewing literature, <i>SEIR</i> model is selected and a new <i>SEIDQR(S/I)</i> is proposed by modifying SEIR model. <i>SPN</i> of the proposed model is constructed and analysed in <i>Snoopy</i> and <i>Charlie</i>, after which the system is converted to <i>CTMC</i> and specifications are encoded in CSL for quantitative analysis in <i>PRISM</i> model checker.</p

    <i>Model Checking</i> Process.

    No full text
    <p>Model checker takes the system model and property specification as input and generates two types of output: (1) true which means property is satisfied (2) false with counter example which means property is not satisfied.</p

    Dynamical behaviour of the proposed system without Quarantine.

    No full text
    <p>Dynamical behaviour of the proposed system without Quarantine.</p

    The states and the transitions of <i>SEIDQR(S/I)</i> model.

    No full text
    <p>The rectangles represent the compartments and the arrows represent the movement of hosts from one compartment to another. The labels on the rectangles indicate the type of compartment i.e. susceptible, exposed, infectious, delayed, quarantined and recovered. The labels on the arrows indicate the rate of transmission of hosts from one compartment to another.</p

    The <i>SPN</i> of the Proposed model.

    No full text
    <p>The <i>SPN</i> of the proposed model consists of a set of places <i>P</i> = {<i>S</i><sub><i>US</i></sub>, <i>E</i><sub><i>XP</i></sub>, <i>I</i><sub><i>NF</i></sub>, <i>D</i><sub><i>EL</i></sub>, <i>Q</i><sub><i>UA</i></sub>, <i>R</i><sub><i>EC</i></sub>} and set of transitions <i>T</i> = {<i>t</i><sub>1</sub>, <i>t</i><sub>2</sub>, <i>t</i><sub>3</sub>, <i>t</i><sub>4</sub>, <i>t</i><sub>5</sub>, <i>t</i><sub>6</sub>, <i>t</i><sub>7</sub>, <i>t</i><sub>8</sub>, <i>t</i><sub>9</sub>, <i>t</i><sub>10</sub>, <i>t</i><sub>11</sub>, <i>t</i><sub>12</sub>, <i>t</i><sub>13</sub>} and initial marking <i>M</i><sub>0</sub> = (1000, 0, 1, 0, 0, 0).</p
    • …
    corecore