Relational Petri Nets: a new class of high-level Petri nets