scientific article; zbMATH DE number 4076638

zbMATH Open0658.68070MaRDI QIDQ3806830FDOQ3806830

Authors: Heino Carstensen 

Publication date: 1988

Title of this publication is not available (Why is that?)

Recommendations

• Infinite behaviour of Petri nets
• scientific article; zbMATH DE number 4035163
• scientific article; zbMATH DE number 3911720
• scientific article; zbMATH DE number 3982529
• Deterministic weak-and-marked Petri net languages are regular

zbMATH Keywords

infinite behaviour\(\omega\)-automatadeterministic Petri nets\(\lambda\)-transitions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (8)

• Infinite behaviour of Petri nets
• On the topological complexity of \(\omega\)-languages of non-deterministic Petri nets
• \(X\)-automata on \(\omega\)-words
• Determinization of timed Petri nets behaviors
• Title not available (Why is that?)
• Infinite Process Semantics of Inhibitor Nets
• On the expressive power of non-deterministic and unambiguous Petri nets over infinite words
• On the high complexity of Petri nets \(\omega \)-languages

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 Q3806830)