-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
1 changed file
with
1 addition
and
1 deletion.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,2 +1,2 @@ | ||
| <!doctype html><html lang=en><head><title>tapaal.net: Download</title><link rel=stylesheet type=text/css href=/css/style.css media=screen><link rel=icon href=/images/favicon.png type=image/png></head><body><div id=header><div id=title><img src=/images/tapaal.png alt> TAPAAL</div><div id=menu><ul id=nav><li><a href=/ title=Introduction onfocus=blurLink(this);>Introduction</a></li><li><a href=/features/ title=Features onfocus=blurLink(this);>Features</a></li><li><a href=/screenshots/ title=Screenshots onfocus=blurLink(this);>Screenshots</a></li><li><a href=/download/ title=Download onfocus=blurLink(this);>Download</a></li><li><a href=/documentation/ title=Documentation onfocus=blurLink(this);>Documentation</a></li><li><a href=/about/ title=About onfocus=blurLink(this);>About</a></li></ul></div></div><div id=content><div id=right><div class=post-content><h1 id=prior-to-download>Prior to Download</h1><p>TAPAAL provides a standalone editor, simulator and verifier (called verifytapn) of timed-arc Petri nets.</p><p><strong><em>UPPAAL Integration</em></strong>. | ||
| Optionally, for running an automated translation to timed automata, the user should install UPPAAL. You will need to procure a vesion of UPPAAL from <a href=https://www.uppaal.org>www.uppaal.org</a>. Get the latest version from <a href=https://uppaal.org/downloads/>download section</a>, and follow the instalation instructions. You will need to locate the file <strong><em>verifyta</em></strong> that comes with the UPPAAL distribution and point TAPAAL to its location in the engine selection dialog from the Tools menu.</p><h1 id=download>Download</h1><p><strong><em>Before running TAPAAL make sure that <a href="https://www.azul.com/downloads/zulu-community/?version=java-11-lts&architecture=x86-64-bit&package=jre">JRE 11.0</a> or higher is installed on your system. Additionally, on Mac OS X remember to allow applications downloaded from anywhere (in System Preferences and Security & Privacy tab or right-click on the application and choose “open”).</em></strong></p><p>Binarier for Windows/Linux/Mac OS X:</p><ul><li><a href=https://download.tapaal.net/tapaal/tapaal-3.9/tapaal-3.9.5-win64.zip>TAPAAL 3.9.5 for Windows Download (64 bit)</a></li><li><a href=https://download.tapaal.net/tapaal/tapaal-3.9/tapaal-3.9.5-linux64.zip>TAPAAL 3.9.5 for Linux Download (64 bit)</a></li><li><a href=https://download.tapaal.net/tapaal/tapaal-3.9/tapaal-3.9.5-mac64.dmg>TAPAAL 3.9.5 for Mac Download (64 bit)</a><br></li></ul><p><a href=older-releases/><strong>Older Releases</strong></a></p><hr><p>Source download:</p><ul><li>Download TAPAAL GUI from <a href=https://github.com/TAPAAL/tapaal-gui>Github</a></li><li><a href=https://github.com/tapaal/verifytapn>Download Continuous-Time TAPAAL Engine from Github</a></li><li><a href=https://github.com/tapaal/verifydtapn>Download Discrete-Time TAPAAL Engine Source from Github</a></li><li><a href=https://github.com/tapaal/verifypn>Download Untimed P/T TAPAAL Engine from Github</a></li></ul><p>Please report any bugs that you might discover to our general <a href=https://github.com/TAPAAL/TAPAAL/issues>bug tracker</a> or on the bug tracker for the individual project.</p><h1 id=changelog>Changelog</h1><p>See the <a href=changelog>tapaal changelog</a>.</p><h1 id=installation-guide>Installation Guide</h1><p>To install TAPAAL unpack the files for your platform and follow instructions in README.txt.</p><h1 id=license>License</h1><p>TAPAAL is licensed under tree licenses:</p><ul><li>The GUI tool is licensed under the <a href=https://www.opensource.org/licenses/osl-3.0.php>Open Source Licence 3.0</a></li><li>The reduction lib, used for automatic translation of TAPN models into UPPAAL Timed Automata and the discrete verification engine verifydtapn are licensed under the <a href=https://www.opensource.org/licenses/bsd-license.php>BSD License</a>.</li><li>The continuous-time verification engine verifytapn is licensed under GPL v2 license: <a href=https://www.gnu.org/licenses/gpl-2.0.txt>https://www.gnu.org/licenses/gpl-2.0.txt</a><br></li></ul><h1 id=other-downloads>Other Downloads</h1><ul><li>beta release of TACPN GUI and unfolding engine (<a href=https://download.tapaal.net/tapaal/tapaal-3.5/tapaal-dev-beta1-win64.zip title="Initiates file download">Win64</a>, <a href=https://download.tapaal.net/tapaal/tapaal-3.5/tapaal-dev-beta1-linux64.zip title="Initiates file download">Linux64</a>) and update synthesis experiments (<a href=https://download.tapaal.net/tapaal/tapaal-3.5/experiments.zip title="Initiates file download">zip</a>)</li><li><a href=https://download.tapaal.net/tapaal/resources/partial-order-experiments.zip title="Initiates file download">partial-order-experiments.zip</a> - models with timed partial order reduction (blood transfusion, BAwPC, alternating bit protocol, fire alarm, Fischer, Lynch Shavit, MPEG-2, patient monitoring).</li><li>Approximation of Time Intervals - Beta Release 3.0.99 (<a href=https://download.tapaal.net/tapaal/tapaal-3.0/tapaal-3.0.99-win.zip title="Initiates file download">Win</a>, <a href=https://download.tapaal.net/tapaal/tapaal-3.0/tapaal-3.0.99-linux.zip title="Initiates file download">Linux</a>, <a href=https://download.tapaal.net/tapaal/tapaal-3.0/tapaal-3.0.99-linux64.zip title="Initiates file download">Linux64</a>, <a href=https://download.tapaal.net/tapaal/tapaal-3.0/tapaal-3.0.99-mac.dmg title="Initiates file download">Mac</a>, <a href=https://download.tapaal.net/tapaal/tapaal-3.0/tapaal-3.0.99-mac64.dmg title="Initiates file download">Mac64</a>, <a href=https://download.tapaal.net/tapaal/tapaal-3.0/models.zip title="Initiates file download">case studies</a>)</li><li>Timed workflow nets - Beta Release 2.4.99 (<a href=https://download.tapaal.net/tapaal/tapaal-2.4/tapaal-2.4.99-win.zip title="Initiates file download">Win</a>, <a href=https://download.tapaal.net/tapaal/tapaal-2.4/tapaal-2.4.99-linux.zip title="Initiates file download">Linux</a>, <a href=https://download.tapaal.net/tapaal/tapaal-2.4/tapaal-2.4.99-linux64.zip title="Initiates file download">Linux64</a>, <a href=https://download.tapaal.net/tapaal/tapaal-2.4/tapaal-2.4.99-mac.dmg title="Initiates file download">Mac</a>, <a href=https://download.tapaal.net/tapaal/tapaal-2.4/tapaal-2.4.99-mac64.dmg title="Initiates file download">Mac64</a>, <a href=https://download.tapaal.net/tapaal/tapaal-2.4/workflows.zip title="Initiates file download">workflow case studies</a>)</li><li><a href=https://download.tapaal.net/tapaal/resources/nfm14-experiments.zip title="Initiates file download">NFM’14 case studies</a></li><li><a href=https://download.tapaal.net/tapaal/resources/FHIES12-blood-transfusion.zip title="Initiates file download">FHIES’12 Blood Transfusion Case Study</a> and <a href=https://download.tapaal.net/tapaal/resources/MEMICS-experiments.zip title="Initiates file download">MEMICS’12 experiments</a></li><li><a href=https://download.tapaal.net/tapaal/resources/PMS-BAwPC.zip title="Initiates file download">Patient Monitoring System (PMS) and BAwPC Protocol</a> (TAPAAL nets)</li><li><a href=https://download.tapaal.net/tapaal/resources/experiments-journal.zip>Experiments in TAPAAL and UPPAAL</a> (Alternating bit protocol, engine workshop, Fischer’s protocol, Lynch-Shavit protocol, medical workflow, MPEG2 encoder)</li><li><a href=https://download.tapaal.net/tapaal/resources/lynch-shavit-and-mpeg2-models.zip>Lynch-Shavit Protocol and MPEG-2 Encoding Algorithm</a> (TAPAAL and UPPAAL models)</li><li><a href=https://download.tapaal.net/tapaal/tapaal-1.1/abp.xml title="Initiates file download">UPPAAL version</a> of Alternating Bit Protocold with <a href=https://download.tapaal.net/tapaal/tapaal-1.1/abp.q title="Initiates file download">query</a> (not to be opened in TAPAAL)</li></ul></div></div><div id=left><div class=box><h1>News</h1><div class=news-latest-container><div class=news-latest-item><h2>2024-08-06 - <a href=/news/mcc24-three-gold-medals/>TAPAAL gets back 3 gold medals at MCC'24</a></h2></div><div class=news-latest-item><h2>2023-05-10 - <a href=/news/mcc23-one-gold-medal/>TAPAAL wins a gold medal at MCC'23</a></h2></div><div class=news-latest-item><h2>2023-02-24 - <a href=/news/tapaal-3.9.5/>TAPAAL 3.9.5</a></h2></div><div class=news-latest-item><h2>2023-01-24 - <a href=/news/tapaal-3.9.4/>TAPAAL 3.9.4</a></h2></div><h2><a href=/news>More news</a></h2></div></div><div class=box><div style=font-size:.8em>TAPAAL (Aalborg University)<br>(c) 2008-2022</div><div style=font-size:.8em><a href=https://github.com/TAPAAL/www.tapaal.net/blob/master/content/download/_index.md>Edit this page</a></div></div></div></div></body></html> | ||
| Optionally, for running an automated translation to timed automata, the user should install UPPAAL. You will need to procure a vesion of UPPAAL from <a href=https://www.uppaal.org>www.uppaal.org</a>. Get the latest version from <a href=https://uppaal.org/downloads/>download section</a>, and follow the instalation instructions. You will need to locate the file <strong><em>verifyta</em></strong> that comes with the UPPAAL distribution and point TAPAAL to its location in the engine selection dialog from the Tools menu.</p><h1 id=download>Download</h1><p>***Before running TAPAAL make sure that Java 11 or higher is installed on your system. You can use <a href=https://adoptium.net>Adoptium</a> to obtain Java for your system. Additionally, on Mac OS X remember to allow applications downloaded from anywhere (in System Preferences and Security & Privacy tab or right-click on the application and choose “open”). On windows, it is important that during the installation you select “JavaSoft (Oracle) registry keys”, otherwise TAPAAL may not find your Java and fail with “This application requires a Java Runtime Environment 11.0-21.0” even if Java is already installed. ***</p><p>Binarier for Windows/Linux/Mac OS X:</p><ul><li><a href=https://download.tapaal.net/tapaal/tapaal-3.9/tapaal-3.9.5-win64.zip>TAPAAL 3.9.5 for Windows Download (64 bit)</a></li><li><a href=https://download.tapaal.net/tapaal/tapaal-3.9/tapaal-3.9.5-linux64.zip>TAPAAL 3.9.5 for Linux Download (64 bit)</a></li><li><a href=https://download.tapaal.net/tapaal/tapaal-3.9/tapaal-3.9.5-mac64.dmg>TAPAAL 3.9.5 for Mac Download (64 bit)</a><br></li></ul><p><a href=older-releases/><strong>Older Releases</strong></a></p><hr><p>Source download:</p><ul><li>Download TAPAAL GUI from <a href=https://github.com/TAPAAL/tapaal-gui>Github</a></li><li><a href=https://github.com/tapaal/verifytapn>Download Continuous-Time TAPAAL Engine from Github</a></li><li><a href=https://github.com/tapaal/verifydtapn>Download Discrete-Time TAPAAL Engine Source from Github</a></li><li><a href=https://github.com/tapaal/verifypn>Download Untimed P/T TAPAAL Engine from Github</a></li></ul><p>Please report any bugs that you might discover to our general <a href=https://github.com/TAPAAL/TAPAAL/issues>bug tracker</a> or on the bug tracker for the individual project.</p><h1 id=changelog>Changelog</h1><p>See the <a href=changelog>tapaal changelog</a>.</p><h1 id=installation-guide>Installation Guide</h1><p>To install TAPAAL unpack the files for your platform and follow instructions in README.txt.</p><h1 id=license>License</h1><p>TAPAAL is licensed under tree licenses:</p><ul><li>The GUI tool is licensed under the <a href=https://www.opensource.org/licenses/osl-3.0.php>Open Source Licence 3.0</a></li><li>The reduction lib, used for automatic translation of TAPN models into UPPAAL Timed Automata and the discrete verification engine verifydtapn are licensed under the <a href=https://www.opensource.org/licenses/bsd-license.php>BSD License</a>.</li><li>The continuous-time verification engine verifytapn is licensed under GPL v2 license: <a href=https://www.gnu.org/licenses/gpl-2.0.txt>https://www.gnu.org/licenses/gpl-2.0.txt</a><br></li></ul><h1 id=other-downloads>Other Downloads</h1><ul><li>beta release of TACPN GUI and unfolding engine (<a href=https://download.tapaal.net/tapaal/tapaal-3.5/tapaal-dev-beta1-win64.zip title="Initiates file download">Win64</a>, <a href=https://download.tapaal.net/tapaal/tapaal-3.5/tapaal-dev-beta1-linux64.zip title="Initiates file download">Linux64</a>) and update synthesis experiments (<a href=https://download.tapaal.net/tapaal/tapaal-3.5/experiments.zip title="Initiates file download">zip</a>)</li><li><a href=https://download.tapaal.net/tapaal/resources/partial-order-experiments.zip title="Initiates file download">partial-order-experiments.zip</a> - models with timed partial order reduction (blood transfusion, BAwPC, alternating bit protocol, fire alarm, Fischer, Lynch Shavit, MPEG-2, patient monitoring).</li><li>Approximation of Time Intervals - Beta Release 3.0.99 (<a href=https://download.tapaal.net/tapaal/tapaal-3.0/tapaal-3.0.99-win.zip title="Initiates file download">Win</a>, <a href=https://download.tapaal.net/tapaal/tapaal-3.0/tapaal-3.0.99-linux.zip title="Initiates file download">Linux</a>, <a href=https://download.tapaal.net/tapaal/tapaal-3.0/tapaal-3.0.99-linux64.zip title="Initiates file download">Linux64</a>, <a href=https://download.tapaal.net/tapaal/tapaal-3.0/tapaal-3.0.99-mac.dmg title="Initiates file download">Mac</a>, <a href=https://download.tapaal.net/tapaal/tapaal-3.0/tapaal-3.0.99-mac64.dmg title="Initiates file download">Mac64</a>, <a href=https://download.tapaal.net/tapaal/tapaal-3.0/models.zip title="Initiates file download">case studies</a>)</li><li>Timed workflow nets - Beta Release 2.4.99 (<a href=https://download.tapaal.net/tapaal/tapaal-2.4/tapaal-2.4.99-win.zip title="Initiates file download">Win</a>, <a href=https://download.tapaal.net/tapaal/tapaal-2.4/tapaal-2.4.99-linux.zip title="Initiates file download">Linux</a>, <a href=https://download.tapaal.net/tapaal/tapaal-2.4/tapaal-2.4.99-linux64.zip title="Initiates file download">Linux64</a>, <a href=https://download.tapaal.net/tapaal/tapaal-2.4/tapaal-2.4.99-mac.dmg title="Initiates file download">Mac</a>, <a href=https://download.tapaal.net/tapaal/tapaal-2.4/tapaal-2.4.99-mac64.dmg title="Initiates file download">Mac64</a>, <a href=https://download.tapaal.net/tapaal/tapaal-2.4/workflows.zip title="Initiates file download">workflow case studies</a>)</li><li><a href=https://download.tapaal.net/tapaal/resources/nfm14-experiments.zip title="Initiates file download">NFM’14 case studies</a></li><li><a href=https://download.tapaal.net/tapaal/resources/FHIES12-blood-transfusion.zip title="Initiates file download">FHIES’12 Blood Transfusion Case Study</a> and <a href=https://download.tapaal.net/tapaal/resources/MEMICS-experiments.zip title="Initiates file download">MEMICS’12 experiments</a></li><li><a href=https://download.tapaal.net/tapaal/resources/PMS-BAwPC.zip title="Initiates file download">Patient Monitoring System (PMS) and BAwPC Protocol</a> (TAPAAL nets)</li><li><a href=https://download.tapaal.net/tapaal/resources/experiments-journal.zip>Experiments in TAPAAL and UPPAAL</a> (Alternating bit protocol, engine workshop, Fischer’s protocol, Lynch-Shavit protocol, medical workflow, MPEG2 encoder)</li><li><a href=https://download.tapaal.net/tapaal/resources/lynch-shavit-and-mpeg2-models.zip>Lynch-Shavit Protocol and MPEG-2 Encoding Algorithm</a> (TAPAAL and UPPAAL models)</li><li><a href=https://download.tapaal.net/tapaal/tapaal-1.1/abp.xml title="Initiates file download">UPPAAL version</a> of Alternating Bit Protocold with <a href=https://download.tapaal.net/tapaal/tapaal-1.1/abp.q title="Initiates file download">query</a> (not to be opened in TAPAAL)</li></ul></div></div><div id=left><div class=box><h1>News</h1><div class=news-latest-container><div class=news-latest-item><h2>2024-08-06 - <a href=/news/mcc24-three-gold-medals/>TAPAAL gets back 3 gold medals at MCC'24</a></h2></div><div class=news-latest-item><h2>2023-05-10 - <a href=/news/mcc23-one-gold-medal/>TAPAAL wins a gold medal at MCC'23</a></h2></div><div class=news-latest-item><h2>2023-02-24 - <a href=/news/tapaal-3.9.5/>TAPAAL 3.9.5</a></h2></div><div class=news-latest-item><h2>2023-01-24 - <a href=/news/tapaal-3.9.4/>TAPAAL 3.9.4</a></h2></div><h2><a href=/news>More news</a></h2></div></div><div class=box><div style=font-size:.8em>TAPAAL (Aalborg University)<br>(c) 2008-2022</div><div style=font-size:.8em><a href=https://github.com/TAPAAL/www.tapaal.net/blob/master/content/download/_index.md>Edit this page</a></div></div></div></div></body></html> |