Actually transactional topologies are superseded by Trident, which is much easier to use:

https://github.com/nathanmarz/storm/wiki/Trident-tutorial

Here's an explanation on how Trident achieves fully fault-tolerant, idempotent semantics:

https://github.com/nathanmarz/storm/wiki/Trident-state