APT

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


References in zbMATH (referenced in 14 articles )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Wimmel, Harro: Presynthesis of bounded choice-free or fork-attribution nets (2020)
  2. Best, Eike; Devillers, Raymond; Schlachter, Uli: Bounded choice-free Petri net synthesis: algorithmic issues (2018)
  3. Best, Eike; Devillers, Raymond; Schlachter, Uli; Wimmel, Harro: Simultaneous Petri net synthesis (2018)
  4. Schlachter, Uli: Over-approximative Petri net synthesis for restricted subclasses of nets (2018)
  5. Badouel, Eric; Schlachter, Uli: Incremental process discovery using Petri net synthesis (2017)
  6. Schlachter, Uli; Wimmel, Harro: (k)-bounded Petri net synthesis from modal transition systems (2017)
  7. Barylska, Kamila; Best, Eike; Erofeev, Evgeny; Mikulski, Łukasz; Piątkowski, Marcin: Conditions for Petri net solvable binary words (2016)
  8. Barylska, Kamila; Koutny, Maciej; Mikulski, Łukasz; Piątkowski, Marcin: Reversible computation vs. reversibility in Petri nets (2016)
  9. Best, Eike; Devillers, Raymond: The power of prime cycles (2016)
  10. Best, Eike; Erofeev, Evgeny; Schlachter, Uli; Wimmel, Harro: Characterising Petri net solvable binary words (2016)
  11. Schlachter, Uli: Bounded Petri net synthesis from modal transition systems is undecidable (2016)
  12. Schlachter, Uli: Petri net synthesis for restricted classes of nets (2016)
  13. Best, Eike; Devillers, Raymond: Synthesis and reengineering of persistent systems (2015)
  14. Best, Eike; Schlachter, Uli: Analysis of Petri nets and transition systems (2015)