Construction types implemented in Petriv