TDD with Petri Nets

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)

Transcript

1. TDD with Petri Nets Aslak Hellesøy
 Cucumber creator and lead developer
5. https://math.stackexchange.com/questions/485752/tictactoe-state-space-choose-calculation
 https://gfredericks.com/blog/76 765 - 19,683
 (depending on how you count)
6. https://github.com/bitwrap/bitwrap-io/blob/master/whitepaper.md#tic-tac-toe-wo-state-explosion Tic Tac Toe Petri Net
7. Carl Adam Petri (1926-2010) • Invented Petri nets in 1939 • One of Germany’s most famous computer scientists • Advanced fields of parallel and distributed computing
8. Chemical Process
9. Taking the bus
17. Before you begin
21. References • https://github.com/aslakhellesoy/xray-petri • https://github.com/cucumber/petrinet • https://github.com/bitwrap/bitwrap-io/blob/master/ whitepaper.md • https://mitpress.mit.edu/books/modeling-business-processes • https://www.oreilly.com/library/view/living-documentation- continuous/9780134689418/ • https://sarahtattersall.github.io/PIPE/