APT swMATH ID: 23176 Software Authors: Schlachter, U., et al. Description: APT – Analysis of Petri nets and labeled transition systems. Welcome to APT. The purpose of this software is to run various analysis methods on Petri nets and labeled transition systems. This guide explains the most important aspects for getting started with APT. For citing APT, we recommend the following publications: General: Eike Best, Uli Schlachter: Analysis of Petri Nets and Transition Systems. In ICE 2015: 53-67; Synthesis: Uli Schlachter: Petri Net Synthesis for Restricted Classes of Nets. In Petri Nets 2016: 79-97 Homepage: https://github.com/CvO-Theory/apt Source Code: https://github.com/CvO-Theory/apt Related Software: GitHub; Petrify; z3; SMTInterpol; Synet; ITS-Tools; Algorithm 447; Motras; SMT-LIB Cited in: 26 Publications all top 5 Cited by 12 Authors 10 Schlachter, Uli 9 Best, Eike 8 Devillers, Raymond 6 Wimmel, Harro 5 Erofeev, Evgeny 5 Tredup, Ronny 2 Barylska, Kamila 2 Mikulski, Łukasz 2 Piątkowski, Marcin 2 Thierry-Mieg, Yann 1 Badouel, Eric 1 Koutny, Maciej Cited in 4 Serials 5 Fundamenta Informaticae 2 Acta Informatica 1 Information and Computation 1 Scientific Annals of Computer Science Cited in 2 Fields 26 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year