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 place can contain at most x tokens.

1-Safe Petri Network

A 1-safe petri network is a safe petri network that only allows 1 token per place/sequence.The scenario engine in Xareus can use 1-Safe Petri Nerworks.

When a Xareus 1-Safe Petri Network updates, it performs various operations involving both Places/Sequences and Transitions. Here is a workflow of such an update:

A transition can be fired if:

All its upstream places contain one token
All its sensors are activated