This page demonstrates how a small shed building project can be modelled as a Petri net. Different token markings correspond to alternative scheduling options. Selecting a marking below generates a chain of SMC morphisms and a compatible work breakdown structure.