ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (articolo in atti, 2004) — Mirko Viroli, Andrea Omicini

 Expressive Power of the ACLT Reaction Specification Language (rapporto tecnico, 1997) — Enrico Denti, Antonio Natali, Andrea Omicini

 ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (articolo in atti, 2007) — Mirko Viroli, Andrea Omicini

 Implementazione automatica di protocolli di interazione AUML mediante reti di Petri (28/03/2012) — Marco Alberti