An algebra of high level Petri nets