scientific article; zbMATH DE number 4024803

MaRDI QIDQ3766864zbMATH OpenFDO

Authors Elisabeth Pelz

Publication date 1987

zbMATH Keywords

formal languagelanguages of Petri netsmonadic second order logic

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 3992937
• Infinite behaviour of Petri nets
• A logical approach of Petri net languages
• On the -language expressive power of extended Petri nets
• On the \(\omega\)-language expressive power of extended Petri nets

Cited in

(8)

• A logical approach of Petri net languages
• Time-based expressivity of time Petri nets for system specification
• Closure properties of locally finite \(\omega\)-languages
• Infinite behaviour of Petri nets
• Causality in bounded Petri nets is MSO definable
• Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages
• scientific article; zbMATH DE number 3982543 (Why is no real title available?)
• scientific article; zbMATH DE number 3992937 (Why is no real title available?)

This page was built for publication:

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