For the most recent entries see the Petri Nets Newsletter.

Russo, S.

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.
Russo, S.; Savy, C.; Jelly, I.; Collingwood, P.:
Petri Net Modelling of PARSE Designs. 1996.
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.
Donatelli, S.; Franceschinis, G.; Russo, S.; Ribaudo, M.:
Use of GSPNs for Concurrent Software Validation in EPOCA. 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.
The author's address is provided by the database of Petri net researchers.

Back to the Petri Nets Bibliography