Skip to content

Kenneth Jørgesen

  • M.Sc
  • 0ReadersNumber of instances of Kenneth's publications in Mendeley libraries. Updated daily.
  • 1PublicationsNumber of items in Kenneth's My Publications folder on Mendeley.

Research interests

Model CheckingTimed AuomataPetri NetsFormal Verification

Publications (1)

  • An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata

    • Byg J
    • Jørgensen K
    • Srba J