Boundedness problems for jumping Petri nets

MaRDI QIDQ2914604zbMATH OpenFDO

Authors Cristian Vidraşcu

Publication date 20 September 2012

Published in ROMAI Journal (Search for Journal in Brave)

zbMATH Keywords

decidabilityPetri netsparallel/distributed systems

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On the finiteness of the reachability set for jumping Petri nets
• On converbility structures for jumping Petri nets
• scientific article; zbMATH DE number 591180
• scientific article; zbMATH DE number 4197111
• The complexity of problems involving structurally bounded and conservative Petri nets
• On the finite containment problem for Petri nets
• scientific article; zbMATH DE number 784436
• T-invariants for jumping Petri nets
• Bounded self-stabilizing Petri nets
• scientific article; zbMATH DE number 2037849

Cited in

(3)

• scientific article; zbMATH DE number 1405652 (Why is no real title available?)
• Boundedness of adaptive nets is decidable
• On converbility structures for jumping Petri nets

This page was built for publication: Boundedness problems for jumping Petri nets

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