Publicacions en col·laboració amb investigadors/es de University of Genoa (2)

2013

  1. On the coverability and reachability languages of monotonic extensions of Petri nets

    Theoretical Computer Science, Vol. 467, pp. 12-29

2010

  1. Language-based comparison of Petri nets with black tokens, pure names and ordered data

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)