4.1.8. causality

• 4.1.8.1. causality/DAG
• 4.1.8.2. causality/EventTrace
• 4.1.8.3. causality/EventTracePrinter
• 4.1.8.4. causality/Petri
• 4.1.8.5. causality/RealisabilityQuery
• 4.1.8.6. causality/Stochsim