Tapaal. Un editor di standalone gratuito e simulatore di Timed-Arc Petri Nets
Scarica ora

Tapaal. Classifica e riepilogo

Tapaal. Tag

modificare editor simulare Petri Net Editor. Simulatore di Petri Net. simulare Petri Net.

Tapaal. Descrizione

Un editor di standalone gratuito e simulatore di Timed-Arc Petri Nets Tapaal è uno strumento open source per la modellazione, la simulazione e la verifica delle reti Timed-Arc Petri sviluppate presso il Dipartimento di Informatica presso l'Università di Aalborg in Danimarca.Timed-Arc Petri NET (TAPN) è un'estensione del tempo del classico modello di Net (A Modello grafico comunemente usato di calcoli distribuiti introdotti da Carl Adam Petri nella sua dissurazione nel 1962). L'estensione del tempo che consideriamo permette il trattamento esplicito del tempo reale, che è associato ai token in rete (ogni gettoni ha la propria età) e gli archi dai luoghi alle transizioni sono etichettati da intervalli di tempo che limitano l'età dei token che possono essere usato per sparare la rispettiva transizione. Nello strumento Tapaal un'estensione del furter di questo modello con invarianti sui luoghi e con gli archi di trasporto (che sono più espressivi che ad esempio le read-arc delle lettura precedentemente considerati) vengono implementati. Gli strumenti Tapal offrono un simulatore per sperimentare con le reti progettate, un editor grafico Per disegnare i modelli TAPN e un ambiente di verifica che consente di rispondere alle query logiche in un sottoinsieme di Logic CTL (essenzialmente ad esempio, AF, EF, AG Formules Witpaal consente inoltre di verificare automaticamente se una data rete è K-LOUNDED per un dato numero K . L'algoritmo di verifica traduce le query tapal in uppaal e si basa sul motore uppaal. Ecco alcune caratteristiche chiave di "Tapaal": · Una GUI grafica per disegnare reti prolungate Timed-Arc Petri · Un simulatore · Un modulo di traduzione per la verifica delle query logiche

Tapaal. Software correlato