Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages

Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz. Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. Fundamenta Informaticae, 95(1):187-217, 2009. [doi]

Abstract

Abstract is missing.