For the most recent entries see the
Petri Nets Newsletter.
Battiston, E.
-
Battiston, E.;
Chizzoni, A.;
Cindio, F.D.:
CLOWN as a Testbed for Concurrent Object-Oriented Concepts.
2001.
-
Battiston, E.;
De Cindio, Fiorella;
Mauri, G.:
A Class of Modular Algebraic Nets and Its Support Environment.
1997.
-
Battiston, E.;
Botti, E.;
Crivelli, E.;
De Cindio, F.:
An Incremental Specification of a Hydroelectric Power Plant control System Using a Class of Modular Algebraic Nets.
1995.
-
Battiston, E.;
De Cindio, F.;
Mauri, G.;
Rapanotti, L.:
Morphisms and Minimal Models for OBJSA Nets.
1991.
-
Battiston, Eugenio;
Petrucci, Laure;
Rapanotti, Lucia:
Establishing a Relationship Between OBJSA Nets and Algebraic Net Schemes.
1991.
-
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.
-
Battiston, E.;
de Cindio, F.;
Mauri, G.:
OBJSA Nets: a class of High-level Nets having Objects as Domains.
1988.
-
Battiston, E.;
de Cindio, F.;
Mauri, G.:
OBJSA Nets: A Class of High-Level Nets Having Objects as Domains.
1986.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography