Extra Features

This part of the documentation presents Maki features that are not part of state machine theory.

These features are the following:

• Context
• Circular Dependency Resolution
• Event Type Sets
• State Sets
• Guard Composition
• The Undefined State
• Catch Action
• Thread Safety (Not Implemented)
• Hooks