State nets: an expressively efficient behavioral model

The authors investigate the modeling power of a newly proposed behavioural model, called state nets. They introduce state nets as a new and promising object-oriented behavioral model; show how Peterson's notion of modeling power can be used to make comparisons between behavioral models; and prove that basic state nets have more modeling power than extended Petri nets.<
>