For the most recent entries see the
Petri Nets Newsletter
.
Keyword: OBJ language
Battiston, Eugenio
;
Petrucci, Laure
;
Rapanotti, Lucia
:
Establishing a Relationship Between OBJSA Nets and Algebraic Net Schemes.
1991.
Bramini, David
:
Specification and Prototypical Implementation of a User Interface for OBJSA Nets Languages.
1990/91.
Battiston, Eugenio
:
Definitions for OBJSA Nets.
1990.
Battiston, E.
:
Una Specifica del Sistema Ascensore con le Reti OBJSA.
1990.
Battiston, Eugenio
;
De Cindio, Fiorella
;
Mauri, Giancarlo
:
OBJSA Nets: OBJ and Petri Nets for Specifying Concurrent Systems.
1990.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography