Decidability of Properties of Timed-Arc Petri Nets. - David de Frutos-Escrig; Valentín Valero Ruiz; Olga Marroquín Alonso (ICATPN, 2000)

Extending the Petri Box Calculus with Time. - Olga Marroquín Alonso; David de Frutos-Escrig (ICATPN, 2001)

Replicated Ambient Petri Nets. - David de Frutos-Escrig; Olga Marroquín Alonso (International Conference on Computational Science, 2003)

Ambient Petri nets. - David de Frutos-Escrig; Olga Marroquín Alonso (FGC, 2003)

Ubiquitous Systems and Petri Nets. - David de Frutos-Escrig; Olga Marroquín Alonso; Fernando Rosa-Velardo (ICCSA (2), 2005)

Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems. - Fernando Rosa-Velardo; Olga Marroquín Alonso; David de Frutos-Escrig (MTCoord@COORDINATION, 2005)

On the Expressiveness of Mobile Synchronizing Petri Nets. - Fernando Rosa-Velardo; David de Frutos-Escrig; Olga Marroquín Alonso (SecCO@CONCUR, 2005)

Platyhelminthes Are [Re]constructed Recursively. - Alberto de la Encina; Mercedes Hidalgo-Herrero; Olga Marroquín Alonso (International Conference on Computational Science (2), 2006)

Replicated Ubiquitous Nets. - Fernando Rosa-Velardo; David de Frutos-Escrig; Olga Marroquín Alonso (ICCSA (4), 2006)