- -

Listar por palabra clave "Specification and Simulation"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Specification and Simulation"

Ordenar por:Orden:Resultados:

  • Icon
    Generating a Petri net from a CSP specification: a semantics-based method 
    Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (Elsevier, 2012)
    [EN] The specification and simulation of complex concurrent systems is a difficult task due to the intricate combinations of message passing and synchronizations that can occur between the components of the system. Two of ...