Tapaal Een gratis stand-alone editor en simulator van Timed-Arc Petri Nets
Download nu

Tapaal Rangschikking & Samenvatting

Tapaal Tags

Bewerk editor simuleren Petri Net Editor Petri Net Simulator Simuleer Petri Net

Tapaal Beschrijving

Een gratis stand-alone editor en simulator van timed-arc petri netten Tapaal is een open source-tool voor het modelleren, simulatie en verificatie van timed-boog petrietten ontwikkeld op departement Computer Science aan de universiteit van Aalborg in Denemarken.Timed-Arc Petri Net (Tapn) is een tijdverlenging van het klassieke Petri Net-model een tijdverlenging van het klassieke Petri Net-model (A Veel gebruikte grafische model van gedistribueerde berekendheden geïntroduceerd door Carl Adam Petri in zijn verdrag in 1962). De tijdverlenging die we overwegen, zorgt voor expliciete behandeling van real-time, die geassocieerd is met de tokens in het net (elke tokens heeft zijn eigen leeftijd) en bogen van plaatsen tot overgangen worden gelabeld door tijdsintervallen die de leeftijd van de tokens die kunnen beperken worden gebruikt om de respectieve transitie te vuren. In Tapaal Tool Een vechteruitbreiding van dit model met invarianten op plaatsen en met transportbogen (die meer expressiever zijn dan bijvoorbeeld eerder gelezen read-bogen) wordt geïmplementeerd. De Tapaal-tools biedt een simulator voor het experimenteren met de ontworpen netten, een grafische editor Voor het tekenen van Tapn-modellen en een verificatieomgeving waarmee logische query's in een subset van CTL-logica kunnen beantwoorden (in wezen bijv. AF, EF, kunnen AG Formules Witapaal ook automatisch controleren of een bepaald net K-Bounded is voor een gegeven nummer . Het algoritme van de verificatie vertaalt de tapaalquery's in Uppaal en vertrouwt op de uppaal-motor. Hier zijn enkele belangrijke kenmerken van "TAPAAL": · Een grafische GUI voor het tekenen van verlengde timed-arc petri netten · Een simulator · Een vertaalmodule voor verificatie van logische query's

Tapaal Gerelateerde software