tapaal.net valuation and analysis

Robots.txt Information
Robot Path Permission
GoogleBot /
BingBot /
BaiduSpider /
YandexBot /
Meta Tags
Title tapaal.net:
Description TAPAAL: Tool for Verification of Timed-Arc Petri TAPAAL Introduction Features Screenshots Download Documentation About TAPAAL: Tool for Verification of Timed-Arc Petri Nets TAPAAL is a tool for modelling
Keywords N/A
Server Information
WebSite tapaal favicontapaal.net
Host IP 185.199.110.153
Location -
Related Websites
Site Rank
More to Explore
tapaal.net Valuation
US$408,954
Last updated: 2023-05-13 18:02:56

tapaal.net has Semrush global rank of 25,881,416. tapaal.net has an estimated worth of US$ 408,954, based on its estimated Ads revenue. tapaal.net receives approximately 47,187 unique visitors each day. Its web server is located in -, with IP address 185.199.110.153. According to SiteAdvisor, tapaal.net is safe to visit.

Traffic & Worth Estimates
Purchase/Sale Value US$408,954
Daily Ads Revenue US$378
Monthly Ads Revenue US$11,325
Yearly Ads Revenue US$135,899
Daily Unique Visitors 3,146
Note: All traffic and earnings values are estimates.
DNS Records
Host Type TTL Data
tapaal.net. A 43200 IP: 185.199.110.153
tapaal.net. A 43200 IP: 185.199.111.153
tapaal.net. A 43200 IP: 185.199.109.153
tapaal.net. A 43200 IP: 185.199.108.153
tapaal.net. NS 43200 NS Record: ns3.gratisdns.dk.
tapaal.net. NS 43200 NS Record: ns2.gratisdns.dk.
tapaal.net. NS 43200 NS Record: ns1.gratisdns.dk.
tapaal.net. NS 43200 NS Record: ns4.gratisdns.dk.
tapaal.net. NS 43200 NS Record: ns5.gratisdns.dk.
HtmlToTextCheckTime:2023-05-13 18:02:56
TAPAAL Introduction Features Screenshots Download Documentation About TAPAAL: Tool for Verification of Timed-Arc Petri Nets TAPAAL is a tool for modelling, simulation and verification of T imed- A rc P etri nets developed at Department of Computer Science at AAL borg University in Denmark and available for Linux, Windows and Mac OS X platforms. Timed-Arc Petri Net (TAPN) is a time extension of the classical Petri net model (a commonly used graphical model of distributed computations introduced by Carl Adam Petri in his disseration in 1962). The time extension we consider allows for explicit modelling of real-time, which is associated with the tokens in the net (each tokens has its own age) and arcs from places to transitions are labelled by time intervals that restrict the age of tokens that can be used in order to fire the respective transition. In TAPAAL tool a furter extension of this model with age invariants, urgent transitions, transport arcs (which are more expressive than for
HTTP Headers
HTTP/1.1 301 Moved Permanently
Server: GitHub.com
Content-Type: text/html
Location: https://www.tapaal.net/
X-GitHub-Request-Id: E02C:44BC:36C4C5:54F0A7:61C242FE
Content-Length: 162
Accept-Ranges: bytes
Date: Tue, 21 Dec 2021 21:11:26 GMT
Via: 1.1 varnish
Age: 0
Connection: keep-alive
X-Served-By: cache-lga21961-LGA
X-Cache: MISS
X-Cache-Hits: 0
X-Timer: S1640121087.647403,VS0,VE10
Vary: Accept-Encoding
X-Fastly-Request-ID: 68652aca11308352d990d2865751af2cc9dd6af7

HTTP/2 200 
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Tue, 23 Nov 2021 22:14:30 GMT
access-control-allow-origin: *
etag: "619d67c6-1039"
expires: Tue, 21 Dec 2021 21:21:27 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: 9928:7231:36AA45:54D418:61C242FF
accept-ranges: bytes
date: Tue, 21 Dec 2021 21:11:27 GMT
via: 1.1 varnish
age: 0
x-served-by: cache-lga21960-LGA
x-cache: MISS
x-cache-hits: 0
x-timer: S1640121087.182091,VS0,VE17
vary: Accept-Encoding
x-fastly-request-id: 4c381c298c69b6d5f26699ff4b577033ce8dfb18
content-length: 4153
tapaal.net Whois Information
Domain Name: TAPAAL.NET
Registry Domain ID: 1543358736_DOMAIN_NET-VRSN
Registrar WHOIS Server: whois.joker.com
Registrar URL: http://www.joker.com
Updated Date: 2020-09-19T16:35:22Z
Creation Date: 2009-02-19T20:23:21Z
Registry Expiry Date: 2023-02-19T20:23:21Z
Registrar: CSL Computer Service Langenbach GmbH d/b/a joker.com
Registrar IANA ID: 113
Registrar Abuse Contact Email: abuse@joker.com
Registrar Abuse Contact Phone: +49.21186767447
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Name Server: NS1.GRATISDNS.DK
Name Server: NS2.GRATISDNS.DK
Name Server: NS3.GRATISDNS.DK
Name Server: NS4.GRATISDNS.DK
Name Server: NS5.GRATISDNS.DK
DNSSEC: unsigned
>>> Last update of whois database: 2021-12-25T08:16:07Z <<<