LIBROS DEL AUTOR: guanjun liu

2 resultados para LIBROS DEL AUTOR: guanjun liu

guanjun liu Eliminar filtro Quitar filtros
  • Petri Nets
    Guanjun Liu
    This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (e.g., state m...
    Disponible

    222,34 €

  • Petri Nets
    Guanjun Liu
    This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (e.g., state m...
    Disponible

    47,83 €