Skip to content
GitLab
  • Explore
  • Sign in
  • i7i7
  • peregrineperegrine
  • Repository
  • peregrine
  • src
  • PetriNet.hs
Find file Blame History Permalink
  • Philipp Meyer's avatar
    Added transformation for termination by reachability · 9faade58
    Philipp Meyer authored Jul 15, 2014
    9faade58

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum