1. Busi N. (1993) Raffinamento di azioni in linguaggi concorrenti, Master's thesis (in Italian), Università di Bologna, Italy.
2. Busi N. (1998) Petri nets with inhibitor and read arcs: semantics, analysis and application to process calculi, Ph.D. thesis, Dipartimento di Matematica, Università di Siena, Italy.
3. Busi N. and Pinna G. M. (1995) A causal semantics for contextual P/T nets. In: Proceedings of Quinta Conferenza Italiana di Informatica Teorica, World Scientific 311–325.
4. A Petri net semantics for π-calculus
5. Non sequential semantics for contextual P/T nets