Adding extra documentation. In this case an example of a interblocked petri net