For the most recent entries see the Petri Nets Newsletter.

Keyword: specification language OBJ

Battiston, E.; De Cindio, F.; Mauri, G.; Rapanotti, L.:
Morphisms and Minimal Models for OBJSA Nets. 1991.
Rapanotti, Lucia:
A Semantical Characterization of OBJSA Nets. 1990/91.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography