Example 4.1: Model 1 SEIRS Model

The SEIRS model is specified in Kendrick as below:

KModel SEIRS
    attribute: #(status -> S E I R);
    parameters: #(beta lambda gamma mu sigma nu);
    lambda: #(beta*I);
    transitions: #(
        S -- lambda --> E.
        E -- sigma --> I.
        I -- gamma --> R.
        R -- nu --> S.
        status -- mu --> Empty.
        Empty -- mu --> S.).

Composition Influenza
    model: 'SEIRS'.

Scenario Scr1
    on: 'Influenza';
    mu: 0.00137;
    beta: 0.42;
    gamma: 0.233;
    sigma: 0.67;
    nu: 0.00274;
    S: 4990;
    I: 10.

Simulation InfluenzaSim gillespie 
    scenario: 'Scr1';
    from: 0;
    to: 500;
    step: 1.

Visualization InfluenzaViz diagram
    for: 'InfluenzaSim';
    xLabel: 'Time (days)';
    open.