I will talk about two novel models of Petri nets with boundaries and characterise them using a calculus of combinators.