Stephane Gaubert Alessandro Giua Petri Net Languages and Infinite Subsets of m. 373-391 1999 59 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss59.html#GaubertG99