{
  "fmiVersion": "2.0",
  "modelName": "User_Activation_Process",
  "modelIdentifier": "User_Activation_Process",
  "guid": "{9bb1c75d-7224-47c0-9cfa-2f9eb1d3eccd}",
  "generationTool": "OpenModelica Compiler OpenModelica 1.27.0",
  "variables": [
    {
      "name": "AccountActivating_Account_Status.t",
      "description": "Actual waiting time (transition will fire when t > waitTime)",
      "valueReference": 0,
      "causality": "local",
      "variability": "continuous",
      "type": "real",
      "unit": "s",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": [
        {
          "unit": "s",
          "displayFactor": 1,
          "displayOffset": 0
        }
      ],
      "start": 0
    },
    {
      "name": "stateGraphRoot.subgraphStatePort.activeSteps",
      "description": "Number of active steps in the CompositeStep",
      "valueReference": 4,
      "causality": "local",
      "variability": "continuous",
      "type": "real",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "stateGraphRoot.subgraphStatePort.activeStepsDummy",
      "description": "Dummy variable in order that connector fulfills restriction of connector",
      "valueReference": 5,
      "causality": "local",
      "variability": "continuous",
      "type": "real",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": [],
      "start": 0
    },
    {
      "name": "AccountActivating_Account_Status.waitTime",
      "description": "Wait time before transition fires",
      "valueReference": 7,
      "causality": "parameter",
      "variability": "fixed",
      "type": "real",
      "unit": "s",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": [
        {
          "unit": "s",
          "displayFactor": 1,
          "displayOffset": 0
        }
      ],
      "min": 0,
      "start": 0
    },
    {
      "name": "stateGraphRoot.activeSteps",
      "description": "Number of active steps within the stategraph",
      "valueReference": 0,
      "causality": "local",
      "variability": "discrete",
      "type": "integer",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "Account_Status_active.nIn",
      "description": "Number of input connections",
      "valueReference": 1,
      "causality": "calculatedParameter",
      "variability": "fixed",
      "type": "integer",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "Account_Status_active.nOut",
      "description": "Number of output connections",
      "valueReference": 2,
      "causality": "calculatedParameter",
      "variability": "fixed",
      "type": "integer",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "Account_Status_pending.nIn",
      "description": "Number of input connections",
      "valueReference": 3,
      "causality": "calculatedParameter",
      "variability": "fixed",
      "type": "integer",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "Account_Status_pending.nOut",
      "description": "Number of output connections",
      "valueReference": 4,
      "causality": "calculatedParameter",
      "variability": "fixed",
      "type": "integer",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "AccountActivating_Account_Status.enableFire",
      "description": "= true, if all firing conditions are true",
      "valueReference": 0,
      "causality": "local",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "AccountActivating_go",
      "description": "Admin User initiates and handles Account Activating",
      "valueReference": 1,
      "causality": "input",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": [],
      "start": null
    },
    {
      "name": "Account_Status_active.active",
      "description": "= true, if step is active, otherwise the step is not active",
      "valueReference": 2,
      "causality": "local",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "Account_Status_active.localActive",
      "description": "= true, if step is active, otherwise the step is not active",
      "valueReference": 3,
      "causality": "local",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "Account_Status_pending.active",
      "description": "= true, if step is active, otherwise the step is not active",
      "valueReference": 6,
      "causality": "local",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "Account_Status_pending.localActive",
      "description": "= true, if step is active, otherwise the step is not active",
      "valueReference": 7,
      "causality": "local",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "stateGraphRoot.resume",
      "description": "= true, if resume transition of CompositeStep fires",
      "valueReference": 10,
      "causality": "local",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": [],
      "start": null
    },
    {
      "name": "stateGraphRoot.suspend",
      "description": "= true, if suspend transition of CompositeStep fires",
      "valueReference": 11,
      "causality": "local",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": [],
      "start": null
    },
    {
      "name": "AccountActivating_Account_Status.enableTimer",
      "description": "= true, if timer is enabled",
      "valueReference": 12,
      "causality": "calculatedParameter",
      "variability": "fixed",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "AccountActivating_Account_Status.condition",
      "description": "= true, if transition may fire (time varying expression)",
      "valueReference": 1,
      "causality": "local",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "AccountActivating_Account_Status.fire",
      "description": "= true, if transition fires",
      "valueReference": 0,
      "causality": "local",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "AccountActivating_Account_Status.inPort.available",
      "description": "= true, if step connected to the transition input is active",
      "valueReference": 7,
      "causality": "local",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "AccountActivating_Account_Status.inPort.reset",
      "description": "= true, if transition fires and the step connected to the transition input is deactivated",
      "valueReference": 0,
      "causality": "local",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "AccountActivating_Account_Status.localCondition",
      "description": "= true, if transition may fire",
      "valueReference": 1,
      "causality": "local",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "AccountActivating_Account_Status.outPort.occupied",
      "description": "= true, if step connected to the transition output is active",
      "valueReference": 3,
      "causality": "local",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "AccountActivating_Account_Status.outPort.set",
      "description": "= true, if transition fires and step connected to the transition output becomes active",
      "valueReference": 0,
      "causality": "local",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "Account_Status_active.inPort[1].occupied",
      "description": "= true, if step is active",
      "valueReference": 3,
      "causality": "local",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "Account_Status_active.inPort[1].set",
      "description": "= true, if transition fires and step is activated",
      "valueReference": 0,
      "causality": "local",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "Account_Status_pending.outPort[1].available",
      "description": "= true, if step is active",
      "valueReference": 7,
      "causality": "local",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "Account_Status_pending.outPort[1].reset",
      "description": "= true, if transition fires and step is deactivated",
      "valueReference": 0,
      "causality": "local",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "stateGraphRoot.subgraphStatePort.resume",
      "description": "= true, if resume transition of CompositeStep fires",
      "valueReference": 10,
      "causality": "local",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    },
    {
      "name": "stateGraphRoot.subgraphStatePort.suspend",
      "description": "= true, if suspend transition of CompositeStep fires",
      "valueReference": 11,
      "causality": "local",
      "variability": "discrete",
      "type": "boolean",
      "displayFactor": 1,
      "displayOffset": 0,
      "unitOptions": []
    }
  ]
}