Skip to content

Commit

Permalink
Update _index.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@yrke
yrke authored Jan 9, 2024
1 parent 12a395e commit 37d6fe2
Showing 1 changed file with 14 additions and 14 deletions.
28 changes: 14 additions & 14 deletions content/download/_index.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ weight: 4
TAPAAL provides a standalone editor, simulator and verifier (called verifytapn) of timed-arc Petri nets.

***UPPAAL Integration***.
Optionally, for running an automated translation to timed automata, the user should install UPPAAL. You will need to procure a vesion of UPPAAL from [www.uppaal.org](http://www.uppaal.org). Get the latest version from [download section](https://uppaal.org/downloads/), and follow the instalation instructions. You will need to locate the file ***verifyta*** that comes with the UPPAAL distribution and point TAPAAL to its location in the engine selection dialog from the Tools menu.
Optionally, for running an automated translation to timed automata, the user should install UPPAAL. You will need to procure a vesion of UPPAAL from [www.uppaal.org](https://www.uppaal.org). Get the latest version from [download section](https://uppaal.org/downloads/), and follow the instalation instructions. You will need to locate the file ***verifyta*** that comes with the UPPAAL distribution and point TAPAAL to its location in the engine selection dialog from the Tools menu.

# Download

Expand Down Expand Up @@ -47,19 +47,19 @@ To install TAPAAL unpack the files for your platform and follow instructions in
# License
TAPAAL is licensed under tree licenses:

* The GUI tool is licensed under the [Open Source Licence 3.0](http://www.opensource.org/licenses/osl-3.0.php)
* The reduction lib, used for automatic translation of TAPN models into UPPAAL Timed Automata and the discrete verification engine verifydtapn are licensed under the [BSD License](http://www.opensource.org/licenses/bsd-license.php).
* The continuous-time verification engine verifytapn is licensed under GPL v2 license: http://www.gnu.org/licenses/gpl-2.0.txt
* The GUI tool is licensed under the [Open Source Licence 3.0](https://www.opensource.org/licenses/osl-3.0.php)
* The reduction lib, used for automatic translation of TAPN models into UPPAAL Timed Automata and the discrete verification engine verifydtapn are licensed under the [BSD License](https://www.opensource.org/licenses/bsd-license.php).
* The continuous-time verification engine verifytapn is licensed under GPL v2 license: https://www.gnu.org/licenses/gpl-2.0.txt

# Other Downloads

* beta release of TACPN GUI and unfolding engine ([Win64](http://download.tapaal.net/tapaal/tapaal-3.5/tapaal-dev-beta1-win64.zip "Initiates file download"), [Linux64](http://download.tapaal.net/tapaal/tapaal-3.5/tapaal-dev-beta1-linux64.zip "Initiates file download")) and update synthesis experiments ([zip](http://download.tapaal.net/tapaal/tapaal-3.5/experiments.zip "Initiates file download"))
* [partial-order-experiments.zip](http://download.tapaal.net/tapaal/resources/partial-order-experiments.zip "Initiates file download") - models with timed partial order reduction (blood transfusion, BAwPC, alternating bit protocol, fire alarm, Fischer, Lynch Shavit, MPEG-2, patient monitoring).
* Approximation of Time Intervals - Beta Release 3.0.99 ([Win](http://download.tapaal.net/tapaal/tapaal-3.0/tapaal-3.0.99-win.zip "Initiates file download"), [Linux](http://download.tapaal.net/tapaal/tapaal-3.0/tapaal-3.0.99-linux.zip "Initiates file download"), [Linux64](http://download.tapaal.net/tapaal/tapaal-3.0/tapaal-3.0.99-linux64.zip "Initiates file download"), [Mac](http://download.tapaal.net/tapaal/tapaal-3.0/tapaal-3.0.99-mac.dmg "Initiates file download"), [Mac64](http://download.tapaal.net/tapaal/tapaal-3.0/tapaal-3.0.99-mac64.dmg "Initiates file download"), [case studies](http://download.tapaal.net/tapaal/tapaal-3.0/models.zip "Initiates file download"))
* Timed workflow nets - Beta Release 2.4.99 ([Win](http://download.tapaal.net/tapaal/tapaal-2.4/tapaal-2.4.99-win.zip "Initiates file download"), [Linux](http://download.tapaal.net/tapaal/tapaal-2.4/tapaal-2.4.99-linux.zip "Initiates file download"), [Linux64](http://download.tapaal.net/tapaal/tapaal-2.4/tapaal-2.4.99-linux64.zip "Initiates file download"), [Mac](http://download.tapaal.net/tapaal/tapaal-2.4/tapaal-2.4.99-mac.dmg "Initiates file download"), [Mac64](http://download.tapaal.net/tapaal/tapaal-2.4/tapaal-2.4.99-mac64.dmg "Initiates file download"), [workflow case studies](http://download.tapaal.net/tapaal/tapaal-2.4/workflows.zip "Initiates file download"))
* [NFM'14 case studies](http://download.tapaal.net/tapaal/resources/nfm14-experiments.zip "Initiates file download")
* [FHIES'12 Blood Transfusion Case Study](http://download.tapaal.net/tapaal/resources/FHIES12-blood-transfusion.zip "Initiates file download") and [MEMICS'12 experiments](http://download.tapaal.net/tapaal/resources/MEMICS-experiments.zip "Initiates file download")
* [Patient Monitoring System (PMS) and BAwPC Protocol](http://download.tapaal.net/tapaal/resources/PMS-BAwPC.zip "Initiates file download") (TAPAAL nets)
* [Experiments in TAPAAL and UPPAAL](http://download.tapaal.net/tapaal/resources/experiments-journal.zip) (Alternating bit protocol, engine workshop, Fischer's protocol, Lynch-Shavit protocol, medical workflow, MPEG2 encoder)
* [Lynch-Shavit Protocol and MPEG-2 Encoding Algorithm](http://download.tapaal.net/tapaal/resources/lynch-shavit-and-mpeg2-models.zip) (TAPAAL and UPPAAL models)
* [UPPAAL version](http://download.tapaal.net/tapaal/tapaal-1.1/abp.xml "Initiates file download") of Alternating Bit Protocold with [query](http://download.tapaal.net/tapaal/tapaal-1.1/abp.q "Initiates file download") (not to be opened in TAPAAL)
* beta release of TACPN GUI and unfolding engine ([Win64](https://download.tapaal.net/tapaal/tapaal-3.5/tapaal-dev-beta1-win64.zip "Initiates file download"), [Linux64](https://download.tapaal.net/tapaal/tapaal-3.5/tapaal-dev-beta1-linux64.zip "Initiates file download")) and update synthesis experiments ([zip](https://download.tapaal.net/tapaal/tapaal-3.5/experiments.zip "Initiates file download"))
* [partial-order-experiments.zip](https://download.tapaal.net/tapaal/resources/partial-order-experiments.zip "Initiates file download") - models with timed partial order reduction (blood transfusion, BAwPC, alternating bit protocol, fire alarm, Fischer, Lynch Shavit, MPEG-2, patient monitoring).
* Approximation of Time Intervals - Beta Release 3.0.99 ([Win](https://download.tapaal.net/tapaal/tapaal-3.0/tapaal-3.0.99-win.zip "Initiates file download"), [Linux](https://download.tapaal.net/tapaal/tapaal-3.0/tapaal-3.0.99-linux.zip "Initiates file download"), [Linux64](https://download.tapaal.net/tapaal/tapaal-3.0/tapaal-3.0.99-linux64.zip "Initiates file download"), [Mac](https://download.tapaal.net/tapaal/tapaal-3.0/tapaal-3.0.99-mac.dmg "Initiates file download"), [Mac64](https://download.tapaal.net/tapaal/tapaal-3.0/tapaal-3.0.99-mac64.dmg "Initiates file download"), [case studies](https://download.tapaal.net/tapaal/tapaal-3.0/models.zip "Initiates file download"))
* Timed workflow nets - Beta Release 2.4.99 ([Win](https://download.tapaal.net/tapaal/tapaal-2.4/tapaal-2.4.99-win.zip "Initiates file download"), [Linux](https://download.tapaal.net/tapaal/tapaal-2.4/tapaal-2.4.99-linux.zip "Initiates file download"), [Linux64](https://download.tapaal.net/tapaal/tapaal-2.4/tapaal-2.4.99-linux64.zip "Initiates file download"), [Mac](https://download.tapaal.net/tapaal/tapaal-2.4/tapaal-2.4.99-mac.dmg "Initiates file download"), [Mac64](https://download.tapaal.net/tapaal/tapaal-2.4/tapaal-2.4.99-mac64.dmg "Initiates file download"), [workflow case studies](https://download.tapaal.net/tapaal/tapaal-2.4/workflows.zip "Initiates file download"))
* [NFM'14 case studies](https://download.tapaal.net/tapaal/resources/nfm14-experiments.zip "Initiates file download")
* [FHIES'12 Blood Transfusion Case Study](https://download.tapaal.net/tapaal/resources/FHIES12-blood-transfusion.zip "Initiates file download") and [MEMICS'12 experiments](https://download.tapaal.net/tapaal/resources/MEMICS-experiments.zip "Initiates file download")
* [Patient Monitoring System (PMS) and BAwPC Protocol](https://download.tapaal.net/tapaal/resources/PMS-BAwPC.zip "Initiates file download") (TAPAAL nets)
* [Experiments in TAPAAL and UPPAAL](https://download.tapaal.net/tapaal/resources/experiments-journal.zip) (Alternating bit protocol, engine workshop, Fischer's protocol, Lynch-Shavit protocol, medical workflow, MPEG2 encoder)
* [Lynch-Shavit Protocol and MPEG-2 Encoding Algorithm](https://download.tapaal.net/tapaal/resources/lynch-shavit-and-mpeg2-models.zip) (TAPAAL and UPPAAL models)
* [UPPAAL version](https://download.tapaal.net/tapaal/tapaal-1.1/abp.xml "Initiates file download") of Alternating Bit Protocold with [query](https://download.tapaal.net/tapaal/tapaal-1.1/abp.q "Initiates file download") (not to be opened in TAPAAL)

0 comments on commit 37d6fe2

Please sign in to comment.