The unsolvability of some Petri net language problems

DOI10.1016/0020-0190(79)90128-5MaRDI QIDQ599503zbMATH OpenOpenAlexFDO

Authors Jan Grabowski

Publication date 1979

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(79)90128-5

zbMATH Keywords

Petri net languagesdecision problemequality problemcoemptiness problemnondeterministic sequential machine

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Decidability of theories and sets of sentences (03B25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• scientific article; zbMATH DE number 3607505 (Why is no real title available?)
• Computation sequence sets
• Termination Properties of Generalized Petri Nets
• The Unsolvability of the Equivalence Problem for $\varepsilon $-Free NGSM’s with Unary Input (Output) Alphabet and Applications
• The unsolvability of the Equivalence Problem for Λ-Free nondeterministic generalized machines

This page was built for publication: The unsolvability of some Petri net language problems

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