Modelling mobility with Petri nets

Hello,


Does anyone know about works how to model non-discrete mobility with petri
nets?

This means a token should be able to have coordinates, so a high-level petri
net is needed. Then there could be e.g. a transition that fires for pairs
of tokens with a distance of less than x units.

Thank you.

Regards,
MK
.