WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
Questa Cmap, creata con IHMC CmapTools, contiene informazioni relative a: Rete di Petri, Stato rappresentato Marche (Token), Rete di Petri (P-Reti) è definita Rete non Deterministica, Scattare la transizione consuma I token del posto di Input, Rete di Petri (P-Reti) ha come proprietà Raggiungibilità, Grafo di tipo Bipartito, Marcatura distribuzione di Marche (Token), Rete di Petri (P-Reti) è Grafo, Nodi di tipo Transizione, Posto può essere di Ouput, Regole di Scatto (firing) può Scattare la transizione, Nodi di tipo Posto, Regole di Scatto (firing) su Marche (Token), Una qualsiasi delle transizioni attiva può scattare Mai, Rete non Deterministica può scattare Una qualsiasi delle transizioni attiva, Stato definito N>=0, Transizione agiscono con Regole di Scatto (firing), processi mediante Comportamenti, Rete di Petri (P-Reti) ha come proprietà Sicurezza (Safe), Rete di Petri (P-Reti) ha come proprietà Vitalità (Liveness), Rete di Petri (P-Reti) permette di modellare Modellare il comportamento di SISTEMI CONCORRENTI DISTRIBUITI