Environment/Relationship (ER) nets are high-level Petri nets where tokens are environments, i.e. functions associating values to variables.
(according to [gmm91])
CABERNET is a software engineering environment for the specification and analysis of real time systems based on Cab Nets, that is a typed version of Timed ER Nets.
C. Ghezzi, D. Mandrioli, S. Morasca, M. Pezzé: A unified high-level Petri Net formalism for time-critical systems [gmm91]