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