Presentation at SC London 2019 - https://sc-london.com/ - Introduction to Petri Nets - Living documentation - generate Petri Net animations from logs - Petri Nets as well as tests provide "design pressure" against your code (triangulation)