Subset Languages of Petri Nets Part II: Closure Properties

Abstract Closure properties of various classes of subset languages of Petri nets considered by Rozenberg and Verraedt (1983) are investigated. The operations considered are: union, product, intersection, intersection with regular languages, shuffle, homomorphism, inverse homomorphism and iterated product.