id: 04024805
dt: a
an: 04024805
au: Jantzen, Matthias
ti: Language theory of Petri nets.
so: Petri nets: central models and their properties, Proc. Adv. Course, Bad
    Honnef/FRG 1986, Lect. Notes Comput. Sci. 254, 397-412 (1987).
py: 1987
pu: 
la: EN
cc: 
ut: firing sequence; multi-counter language; intersection closed semi-AFL;
    closure properties; transition sequences; Petri net languages
ci: Zbl 0619.00023; Zbl 0629.68065
li: 
ab: [For the entire collection see Zbl 0619.00023.] This is a completely
    revised and corrected version of the contribution to the “Advanced
    Course in Petri Nets”, Bad Honnef, FRG, 1986. Families of languages
    defined by transition sequences are studied, following and extending
    the traditional approach initiated by M. Hack and J. L. Peterson. The
    classes of T-, G-, P-, and L-Type languages are compared w.r.t. each
    other and with classes of deterministic Petri net languages. The
    methods used are those known from the studies in AFL-theory but for the
    proofs the reader is usually referred to the original sources. The list
    of references is combined with that of the following article (see Zbl
    0629.68065).
rv: