Scenario Engine
- What is a scenario Engine?
- Main Definitions
  - Scenario
  - Transition
  - Sensor
  - Effector
  - Context
- All Definitions
  - Comment
  - Complex Sequence
  - Context
  - Decision Tree
  - Effector
  - Event
  - Event Context
  - External Context
  - External Scenario
  - Function
  - Node
  - Net
  - Petri-Net
  - Place
  - Safe Petri-Net
  - Scenario
  - Scenario Context
  - Sensor
  - Sequence
  - State
  - State Machine
  - Token
  - Token Assign
  - Token Merge
  - Token Split
  - Transition
- How to deal with asynchronous events?
Relation Engine
- What is a relation Engine?
Scenario with Relation

Safe Petri Network

A safe petri network is a restrictive version of a petri network. At any time, any sequence can contain at most one token. When a Safe Petri Network updates, it performs various operations involving both Sequences and Transitions. Here is a description of such an update : (insert workflow image)