Petri Nets with Parameterised Data - Modelling and Verification.

Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin

Browse the full BPM paper archive.