For the most recent entries see the
Petri Nets Newsletter.
De Cindio, F.
-
Balzarotti, C.;
De Cindio, F.;
Pomello, L.:
Observation equivalence for the semantics of inheritance.
1999.
-
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.
-
Botti, O.;
De Cindio, F.:
Process and resource boxes: an integrated PN performance model for applications and architectures.
1993.
-
Bernardinello, Luca;
De Cindio, Fiorella:
A Survey of Basic Net Models and Modular Net Classes.
1992.
-
Botti, Oliver;
De Cindio, Fiorella:
From Basic to Timed Net Models of Occam: an Application to Program Placement.
1991.
-
Battiston, E.;
De Cindio, F.;
Mauri, G.;
Rapanotti, L.:
Morphisms and Minimal Models for OBJSA Nets.
1991.
-
de Cindio, Fiorella;
Simone, Carla:
Petri Nets for Modelling Fault Tolerant Distributed Systems in a Modular and Incremental Way - Position Paper for the Workshop.
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.
-
Best, Eike;
de Cindio, Fiorella;
Hopkins, Richard:
DEMON - Design Methods Based on Nets: An ESPRIT Basic Research Action (No. 3148).
1990.
-
Battiston, E.;
de Cindio, F.;
Mauri, G.:
OBJSA Nets: a class of High-level Nets having Objects as Domains.
1988.
-
de Cindio, F.;
de Michelis, G.;
Pomello, L.;
Simone, C.:
A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence.
1988.
-
de Cindio, F.;
de Michelis, G.;
Simone, C.:
GAMERU: A Language for the Analysis and Design of Human Communication Pragmatics within Organizational Systems.
1987.
-
de Cindio, F.;
de Michelis, G.;
Simone, C.:
The Communication Disciplines of CHAOS.
1987.
-
Battiston, E.;
de Cindio, F.;
Mauri, G.:
OBJSA Nets: A Class of High-Level Nets Having Objects as Domains.
1986.
-
de Cindio, F.;
de Michelis, G.;
Pomello, L.;
Simone, C.:
Exhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design.
1985.
-
de Cindio, F.;
Viviani, D.:
GAMERU: A Language for Conjoint Projects in Organisation and Technology.
1985.
-
de Cindio, F.;
Lanzarone, G.A.;
Torgano, A.:
A New Model of Programming Language for Telecommunications.
1985.
-
de Cindio, F.;
Lanzarone, G.A.;
Torgano, A.:
A Petri Network Model in Language of SDL Specification.
1984.
-
de Cindio, F.;
de Michelis, G.;
Pomello, L.;
Simone, C.:
Conditions and Tools for an Effective Negotiation During the Organization/Information Systems Design Process.
1983.
-
de Cindio, F.;
de Michelis, G.;
Pomello, L.;
Simone, C.:
Equivalence Notions for Concurrent Systems.
1983.
-
de Cindio, F.;
de Michelis, G.;
Pomello, L.;
Simone, C.:
Milner's Communicating Systems and Petri Nets.
1983.
-
de Cindio, F.;
de Michelis, G.;
Pomello, L.;
Simone, C.:
Real System Modelling: A Formal but Realistic Approach to Organizational Design.
1983.
-
de Cindio, F.;
de Michelis, G.;
Simone, C.:
Organizational Game Rules Modelling with Superposed Automata Nets.
1983.
-
de Cindio, F.;
de Michelis, G.;
Pomello, L.;
Simone, C.:
Superposed Automata Nets.
1982.
-
de Cindio, F.;
de Michelis, G.;
Pomello, L.;
Simone, C.:
A Petri Net Model of CSP.
1981.
-
de Antonellis, V.;
de Cindio, F.;
Degli Antoni, G.;
Mauri, G.:
Use of Bipartite Graphs as a Notation for Data Bases.
1979.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography