TAPAAL 3.4.3 Released

Published 2018-06-29 - (1 min reading time)

We are glad to announce another update of TAPAAL 3.4.3 that

fixes a bug in the untimed engine for partial order reduction with inhibitor arcs, and
fixes a bug in the unfolding of colored Petri nets in the untimed engine.

This is a recommend update for all TAPAAL users.

News

2025-09-11 - TAPAAL 4.0.2

2025-08-07 - TAPAAL 4.0.1

2025-06-27 - Best paper award at PN'25

2025-06-26 - TAPAAL Defends Three Gold Medals at MCC'25

More news

TAPAAL (Aalborg University)
(c) 2008-2025