Performance Considerations
Concurrent Execution
- Statically determine which transitions can be safely executed concurrently
- Generate a scheduler and update logic that allows as many concurrent transitions as possible
-
Caution: Concurrent firing of two rules can violate one-transition-at-a-time semantics if, for example, firing of one rule disables the other