13 research outputs found

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

    No full text
    <p>(A) A <i>SPN</i> consists of a set of places {<i>p</i><sub>1</sub>, <i>p</i><sub>2</sub>, <i>p</i><sub>3</sub>}, set of transitions {<i>t</i><sub>1</sub>, <i>t</i><sub>2</sub>}, rates <i>μ</i><sub>1</sub>, <i>μ</i><sub>2</sub> and an initial marking <i>M</i><sub>0</sub> = (2, 2, 0). In case of this example <i>t</i><sub>1</sub> is 2 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>. (C) The <i>Markov Chain</i> obtained from the reachability graph in (B). Every reachable marking of the <i>SPN</i> is associated with a state of the <i>Markov Chain</i> and a transition between states is labelled with the product of the enabling degree and rate.</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

    Dynamical behaviour of the proposed system.

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

    Dynamic behaviour of infectious class with and without quarantine.

    No full text
    <p>Dynamic behaviour of infectious class with and without quarantine.</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

    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

    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

    Quarantine effect on different compartments.

    No full text
    <p>Quarantine effect on different compartments.</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
    corecore