Skip to main content

State Nets: An Expressively Efficient Behavioral Model

Christophe Giraud-Carrier, Scott N. Woodfield, David W. Embley, State Nets: An Expressively Efficient Behavioral Model. Proceedings of the Twelfth Annual IEEE International Phoenix Conference on Computers and Communication (IPCCC'93). ISBN 0-7803-0922-7, pp. 571–577. March 1993. PDF, 40 Kbytes.


Behavioral models of interest in software engineering all have equivalent computational power because they are all Turing-equivalent. They do not, however, all have equivalent modeling power. Modeling power is a matter of expressive efficiency, which is difficult to measure because of its subjectivity. One non-subjective measure of modeling power compares models by investigating their representational succinctness. This paper investigates the modeling power of a newly proposed behavioral model, called state nets. The paper presents state nets, shows how the succinctness concept of modeling power can be useful in comparing new models with existing ones, and, as an example, proves that state nets have more modeling power than Petri nets.

Bibtex entry.

Contact details

Publication Admin