Buscar
Estás en modo de exploración. debe iniciar sesión para usar MEMORY

   Inicia sesión para empezar


Por supuesto:

ingegneria del software

» Iniciar este curso
(Practica preguntas similares gratis)
Pregunta:

Quale differenza intercorre fra p-invarianti e t-invarianti?

Autor: federico volpe



Respuesta:

Gli T-invarianti sono vettori che identificano sequenze di transizioni che, se attivate, riportano la rete di Petri dalla marcatura m ad m le sequenze di scatti negli t-invarianti: - si possono ripetere ciclicamente - portano alla marcatura di partenza consentono l'affermazione ulteriore: Se una rete è limitata e copribile da T-invarianti, allora è dimostrabile che è anche viva.


0 / 5  (0 calificaciones)

1 answer(s) in total