Petri net languages revisited

DOI10.1016/J.TCS.2011.12.043MaRDI QIDQ418794zbMATH OpenOpenAlexFDO

Authors Antoni Mazurkiewicz

Publication date 30 May 2012

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

Full work available at URL https://doi.org/10.1016/j.tcs.2011.12.043

zbMATH Keywords

reachabilitycommutativitycompositionalitycontext-free languageatomic netscommutative languagesconcurrent systemPetri net behaviourPetri net languagessequential behaviour

Mathematics Subject Classification ID

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

Recommendations

• On the regularity of Petri net languages
• Deterministic weak-and-marked Petri net languages are regular
• Infinite behaviour of Petri nets
• Some results on Petri net languages
• On the properties of the intersection of Petri net languages and context free languages

Cited in

(27)

• scientific article; zbMATH DE number 1156490 (Why is no real title available?)
• How Expressive Are Petri Net Schemata?
• Erasing in Petri Net Languages and Matrix Grammars
• scientific article; zbMATH DE number 4024805 (Why is no real title available?)
• scientific article; zbMATH DE number 4009827 (Why is no real title available?)
• Computing Petri net languages by reductions
• Infinite behaviour of Petri nets
• scientific article; zbMATH DE number 3970085 (Why is no real title available?)
• Labeled Step Sequences in Petri Nets
• scientific article; zbMATH DE number 4014038 (Why is no real title available?)
• Pushdown automata, multiset automata, and Petri nets
• Subset languages of Petri nets. I: The relationship to string languages and normal forms
• scientific article; zbMATH DE number 4201657 (Why is no real title available?)
• Synchronized shuffle operation of Petri net languages and its applications in analysis for language behaviors
• scientific article; zbMATH DE number 3992937 (Why is no real title available?)
• Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
• Rectangular arrays and Petri nets
• scientific article; zbMATH DE number 2087213 (Why is no real title available?)
• scientific article; zbMATH DE number 4092787 (Why is no real title available?)
• Some results on Petri net languages
• On the properties of the intersection of Petri net languages and context free languages
• Selective petri net languages
• Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data
• On the relationship between the language of the CN-model with component junctions and the language of the detailed Petri model of parallel distributed systems
• scientific article; zbMATH DE number 3892612 (Why is no real title available?)
• Process languages and nets
• Overview of reconfigurable Petri nets

This page was built for publication: Petri net languages revisited

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