For the most recent entries see the
Petri Nets Newsletter.
Keyword: superposed automata net
-
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.
-
Nifosi, Gabriella:
Asynchronous Automata and Superposed Automata Nets.
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.
-
Battiston, E.;
de Cindio, F.;
Mauri, G.;
Rapanotti, L.:
Morphisms and Minimal Models for OBJSA Nets.
1990.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography