# K. Procedures

7 pages in this book.

| Page | What it is for |
|---|---|
| [Take an application through stages](/recipes/k-procedures/application-stages/) | I want to distinguish a filed application from completed consideration. |
| [Check event type and transition conditions](/recipes/k-procedures/event-conditions/) | I want to move an application only by a suitable event when the conditions hold. |
| [Return the case and create a new duty](/recipes/k-procedures/appeal-return/) | I want, after a return to consideration, to open a new instance of a duty. |
| [Complete independent stages together](/recipes/k-procedures/parallel-regions/) | I want one event to complete independent reviews and then join their results. |
| [Explain an unreached state](/recipes/k-procedures/why-not-state/) | I want to know which transition attempt did not bring the case into the needed state. |
| [Refuse when the order is undefined](/recipes/k-procedures/simultaneous-events/) | I want an explicit refusal when time does not order events of one case. |
| [Distinguish a wrong carrier from other refusals](/recipes/k-procedures/wrong-carrier/) | I want to explain why an attempt did not change the state, without mixing reasons. |