Slide 1

Slide 1 text

TDD with Petri Nets Aslak Hellesøy
 Cucumber creator and lead developer

Slide 2

Slide 2 text

No content

Slide 3

Slide 3 text

No content

Slide 4

Slide 4 text

No content

Slide 5

Slide 5 text

https://math.stackexchange.com/questions/485752/tictactoe-state-space-choose-calculation
 https://gfredericks.com/blog/76 765 - 19,683
 (depending on how you count)

Slide 6

Slide 6 text

https://github.com/bitwrap/bitwrap-io/blob/master/whitepaper.md#tic-tac-toe-wo-state-explosion Tic Tac Toe Petri Net

Slide 7

Slide 7 text

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

Slide 8

Slide 8 text

Chemical Process

Slide 9

Slide 9 text

Taking the bus

Slide 10

Slide 10 text

No content

Slide 11

Slide 11 text

No content

Slide 12

Slide 12 text

No content

Slide 13

Slide 13 text

No content

Slide 14

Slide 14 text

No content

Slide 15

Slide 15 text

No content

Slide 16

Slide 16 text

No content

Slide 17

Slide 17 text

Before you begin

Slide 18

Slide 18 text

No content

Slide 19

Slide 19 text

No content

Slide 20

Slide 20 text

No content

Slide 21

Slide 21 text

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/