Subset languages of Petri nets. II. Closure properties

DOI10.1016/0304-3975(83)90094-4MaRDI QIDQ797296zbMATHOpenAlexFDO

Authors R. Verraedt, Grzegorz Rozenberg

Publication date 1983

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(83)90094-4

zbMATH Keywords

Closure propertiessubset languages of Petri nets

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On the properties of the intersection of Petri net languages and context free languages
• Subset languages of Petri nets. I: The relationship to string languages and normal forms
• scientific article; zbMATH DE number 4035163
• scientific article; zbMATH DE number 14490
• Petri net languages and infinite subsets of \(\mathbb{N}^m\)

Cites work

• scientific article; zbMATH DE number 3413820 (Why is no real title available?)
• Subset languages of Petri nets. I: The relationship to string languages and normal forms
• Super-nets and their hierarchy

Cited in

(9)

• Synchronized shuffle operation of Petri net languages and its applications in analysis for language behaviors
• scientific article; zbMATH DE number 3915636 (Why is no real title available?)
• scientific article; zbMATH DE number 14491 (Why is no real title available?)
• On the properties of the intersection of Petri net languages and context free languages
• scientific article; zbMATH DE number 14490 (Why is no real title available?)
• Subset languages of Petri nets. I: The relationship to string languages and normal forms
• Multisets and Petri nets: an overview
• scientific article; zbMATH DE number 4035163 (Why is no real title available?)
• Decidability and closure properties of weak Petri net languages in supervisory control

This page was built for publication: Subset languages of Petri nets. II. Closure properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q797296)