Información del autor
Documentos disponibles escritos por este autor (3)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Pure names are identifiers with no relation between them, except equality and inequality. In previous works we have extended P/T nets with the capability of creating and managing pure names, obtaining ?-PNs and proved that they are strictly well[...]texto impreso
Martos Salgado, María Rosa | 2010Las redes de Petri son un importante formalismo para la especificación de sistemas concurrentes y distribuídos. Tal y como se hace con otros formalismos, como los autómatas finitos, nos gustaría poder verificar formal y automáticamente ciertas p[...]texto impreso
Las redes de Petri son un lenguaje formal muy adecuado para la modelizaci?on, an?alisis y verificaci?on de sistemas concurrentes con infinitos estados. En particular, son muy apropiadas para estudiar las propiedades de seguridad de dichos sistem[...]
