scientific article; zbMATH DE number 1341758

zbMATH Open0935.68074MaRDI QIDQ4263303FDOQ4263303

Authors: Piotr Chrząstowski-Wachtel 

Publication date: 22 September 1999

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

Recommendations

• Decidability of the Petri net reachability problem
• Entscheidbarkeit bei Petri Netzen
• An Algorithm for the General Petri Net Reachability Problem
• scientific article; zbMATH DE number 4092785

zbMATH Keywords

Petri nets

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability (number-theoretic aspects) (11U05)

Cited In (1)

• Soundness of workflow nets: classification, decidability, and analysis

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