For the most recent entries see the
Petri Nets Newsletter.
Mazzocca, N.
-
Iacono, Mauro;
Marrone, Stefano;
Mazzocca, Nicola;
Moscato, Francesco;
Vittorini, Valeria:
A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach.
2006.
-
Franceschinis, Giuliana;
Gribaudo, Marco;
Iacono, Mauro;
Marrone, Stefano;
Mazzocca, Nicola;
Vittorini, Valeria:
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys.
2004.
-
Franceschinis, Giuliana;
Vittorini, Valeria;
Marrone, Stefano;
Mazzocca, Nicola:
SWN Client-Server Composition Operators in the OsMoSys framework.
2003.
-
Franceschinis, F.;
Gribaudo, M.;
Iacono, M.;
Mazzocca, N.;
Vittorini, V.:
Towards an Object Based Multi-Formalism Multi-Solution Modeling Approach.
2002.
-
Basile, F.;
Chiacchio, P.;
Vittorini, V.;
Mazzocca, N.:
Specification and modeling of flexible manufacturing systems using behaviors and Petri nets building blocks.
1999.
-
Mazzocca, N.;
Russo, S.;
Vittorini, V.:
The Modelling Process and Petri Nets: Reasoning on Different Approaches.
1999.
-
Mazzeo, A.;
Mazzocca, N.;
Russo, S.;
Savy, C.;
Vittorini, V.:
Formal specification of concurrent systems: a structured approach.
1998.
-
Mazzeo, A.;
Mazzocca, N.;
Russo, S.;
Vittorini, V.:
A systematic approach to the Petri Net based specification of concurrent systems.
1997.
-
Mazzocca, N.;
Russo, S.;
Vittorini, V.:
Formal methods integration for the specification of dependable distributed systems.
1997.
-
Mazzeo, A.;
Mazzocca, N.;
Russo, S.;
Vittorini, V.:
A method for predictive performance of distributed programs.
1997.
-
Mazzeo, A.;
Mazzocca, N.;
Russo, S.;
Vittorini, V.:
A method for predictive performance of distributed programs.
1997.
-
Mazzocca, N.;
Russo, S.;
Vittorini, V.:
Integrating trace logic and Petri net specifications.
1997.
-
Donatelli, S.;
Mazzocca, N.;
Russo, S.:
A CASE system for Petri net modelling of CSP-like programs.
1995.
-
Donatelli, S.;
Franceschinis, G.;
Mazzocca, N.;
Russo, S.:
Software Architecture of the EPOCA Integrated Environment.
1994.
-
Mazzeo, A.;
Mazzocca, N.;
Russo, S.;
Vittorini, V.:
A Mapping Method for Distributed Heterogeneous Systems.
1994.
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