Axioms

• 1: You may create a new production path by repeating the sequence of processes and checks that follow the initial path.

• 2:If the process ends in P, you may add a C. If the process ends in C, you may not add another C.

Previous slide

Next slide

Back to first slide

View graphic version