A calculus of Petri net components