Yahya Slimani, Soulimane Mammar: Relational Petri Nets: a new class of high-level Petri nets. RelMiCS 2000: 217-222