General composition for high level Petri nets and its properties. - Ivan Petko; Stefan Hudák (Central Eur. J. Comput. Sci., 2012)