Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Oris Tool - Analysis of Timed and Stochastic Petri |
Description | ORIS Tool - Analysis of timed and stochastic Petri |
Keywords | N/A |
WebSite | oris-tool.org |
Host IP | 216.239.32.21 |
Location | United States |
Site | Rank |
US$254,152
Last updated: 2023-05-12 18:11:51
oris-tool.org has Semrush global rank of 41,645,632. oris-tool.org has an estimated worth of US$ 254,152, based on its estimated Ads revenue. oris-tool.org receives approximately 29,326 unique visitors each day. Its web server is located in United States, with IP address 216.239.32.21. According to SiteAdvisor, oris-tool.org is safe to visit. |
Purchase/Sale Value | US$254,152 |
Daily Ads Revenue | US$235 |
Monthly Ads Revenue | US$7,039 |
Yearly Ads Revenue | US$84,457 |
Daily Unique Visitors | 1,956 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
oris-tool.org. | A | 3600 | IP: 216.239.32.21 |
oris-tool.org. | A | 3600 | IP: 216.239.36.21 |
oris-tool.org. | A | 3600 | IP: 216.239.34.21 |
oris-tool.org. | A | 3600 | IP: 216.239.38.21 |
oris-tool.org. | AAAA | 3600 | IPV6: 2001:4860:4802:34::15 |
oris-tool.org. | AAAA | 3600 | IPV6: 2001:4860:4802:36::15 |
oris-tool.org. | AAAA | 3600 | IPV6: 2001:4860:4802:32::15 |
oris-tool.org. | AAAA | 3600 | IPV6: 2001:4860:4802:38::15 |
oris-tool.org. | NS | 21600 | NS Record: ns-cloud-e3.googledomains.com. |
oris-tool.org. | NS | 21600 | NS Record: ns-cloud-e1.googledomains.com. |
oris-tool.org. | NS | 21600 | NS Record: ns-cloud-e2.googledomains.com. |
oris-tool.org. | NS | 21600 | NS Record: ns-cloud-e4.googledomains.com. |
oris-tool.org. | MX | 3600 | MX Record: 30 alt3.gmr-smtp-in.l.google.com. |
oris-tool.org. | MX | 3600 | MX Record: 40 alt4.gmr-smtp-in.l.google.com. |
oris-tool.org. | MX | 3600 | MX Record: 20 alt2.gmr-smtp-in.l.google.com. |
oris-tool.org. | MX | 3600 | MX Record: 10 alt1.gmr-smtp-in.l.google.com. |
oris-tool.org. | MX | 3600 | MX Record: 5 gmr-smtp-in.l.google.com. |
Toggle navigation Oris Tool Home Tutorial Sirio Library Publications Contributors Software Science and Technology Lab ORIS Tool Analysis of timed and stochastic Petri nets Download Release 2.3.8 (ask for support ). Unzip and launch run.sh (Linux/macOS) or run.bat (Windows). Java 17 is recommended (Java >= 11 is supported): get the installer for Windows, run brew install --cask temurin on macOS, or apt-get install openjdk-17-jre on Linux. The Sirio library is now available! The library implements the symbolic calculus and analysis methods of ORIS. STPN models can be exported from the GUI editor as "Java code" and analyzed in Sirio to conduct parametric studies. To get started with ORIS and Stochastic Time Petri Nets (STPNs), check our tool paper or the tutorial . Features Graphical Petri net editor Petri nets can be edited graphically, associating transitions with earliest and latest time to fire (time Petri nets), or with a deterministic or expolynomial probability density function |
HTTP/1.1 301 Moved Permanently Location: https://www.oris-tool.org Date: Sun, 19 Dec 2021 18:50:43 GMT Content-Type: text/html; charset=UTF-8 Server: ghs Content-Length: 222 X-XSS-Protection: 0 X-Frame-Options: SAMEORIGIN HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Sat, 04 Dec 2021 09:24:07 GMT access-control-allow-origin: * etag: "61ab33b7-2144" expires: Sun, 19 Dec 2021 19:00:43 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: 73D2:3194:AB34CC:13D8DFA:61BF7F03 accept-ranges: bytes date: Sun, 19 Dec 2021 18:50:43 GMT via: 1.1 varnish age: 0 x-served-by: cache-lga21950-LGA x-cache: MISS x-cache-hits: 0 x-timer: S1639939844.749317,VS0,VE13 vary: Accept-Encoding x-fastly-request-id: 6ebf2fbb73125380f60bb99efca4bc84e3f44ae5 content-length: 8516 |
Domain Name: ORIS-TOOL.ORG Registry Domain ID: D169705715-LROR Registrar WHOIS Server: whois.google.com Registrar URL: https://domains.google.com Updated Date: 2021-09-15T20:52:00Z Creation Date: 2013-09-15T12:51:07Z Registry Expiry Date: 2022-09-15T12:51:07Z Registrar: Google LLC Registrar IANA ID: 895 Registrar Abuse Contact Email: registrar-abuse@google.com Registrar Abuse Contact Phone: +1.8772376466 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Registrant Organization: Contact Privacy Inc. Customer 1241635096 Registrant State/Province: ON Registrant Country: CA Name Server: NS-CLOUD-E1.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-E2.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-E3.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-E4.GOOGLEDOMAINS.COM DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2021-12-23T19:14:15Z <<< |