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.
[1] Tuvi Etzion,et al. Super-Nets and their Hierarchy , 1983, Theor. Comput. Sci..
[2] Grzegorz Rozenberg,et al. Subset Languages of Petri Nets Part I: The Relationship to String Languages and Normal Forms , 1983, Theor. Comput. Sci..
[3] M. Hack,et al. PETRI NET LANGUAGE , 1976 .