APT – Analysis of Petri nets and labelled transition systems