Restricting the in-out Structure of Graphs of Petri Nets

Subtitle: A language theoretic point ot view

Article type: Research Article

Authors: Rozenberg, Grzegorz^a | Verraedt, Raymond^b

Affiliations: [a] University of Leiden | [b] University of Antwerp

Abstract: Petri nets are classified according to the restrictions on the possible in-out structure of nodes of the underlying graphs. Such a classification is investigated separately for the structure of transitions and the structure of places. The classification is done from the language theoretical point of view, i.e. behaviour of a net is expressed by the language it generates. Two approaches are used. Firstly, various classes of nets are compared with respect to the languages of firing sequences they generate. Secondly, the comparison results so obtained are sharpened (often quite drastically) by looking at nets as generators of the so-called subset languages.

Keywords: Petri nets, graphs, transition and place restrictions, string language, subset language

DOI: 10.3233/FI-1984-7202

Journal: Fundamenta Informaticae, vol. 7, no. 2, pp. 151-190, 1984