Nets, Evaluation
E-nets (Evaluation nets)
Evaluation nets
Petri nets