LIBROS DEL AUTOR: lars m kristensen

1 resultados para LIBROS DEL AUTOR: lars m kristensen

lars m kristensen Eliminar filtro Quitar filtros
  • Coloured Petri Nets
    Kurt Jensen / Lars M. Kristensen
    Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and the immense number of possible execution sequences.In this textbook Jensen and Kr...
    Disponible

    96,52 €