Publicaciones en colaboración con investigadores/as de Universidad de Castilla-La Mancha (6)

2001

  1. SPBC: A Markovian extension of finite petri box calculus

    Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001

2000

  1. Decidability of properties of timed-arc petri nets

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

1999

  1. On non-decidability of reachability for timed-arc Petri nets

    Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999

1997

  1. A sound and complete proof system for probabilistic processes

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

1993

  1. Decidability of the strict reachability problem for TPN's with rational and real durations

    Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993

1991

  1. Simulation of timed Petri nets by ordinary Petri nets and applications to decidability of the timed reachability problem and other related problems

    Proceedings of the 4th International Workshop on Petri Nets and Performance Models, PNPM 1991