Petri-logen inom en sluten krets.