ER-Nets

Environment/Relationship (ER) nets are high-level Petri nets where tokens are environments, i.e. functions associating values to variables.

Definition

(according to [gmm91])

Transition Rule

Tools

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.

References

C. Ghezzi, D. Mandrioli, S. Morasca, M. Pezzé: A unified high-level Petri Net formalism for time-critical systems [gmm91]

BACK