Catching a structural bug with a flower

DOI10.3233/FI-2015-1245zbMATH Open1335.68161MaRDI QIDQ2803577FDOQ2803577

Rémi Morin, Florent Avellaneda

Publication date: 2 May 2016

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Recommendations

• Exhibition of a structural bug with wings
• Polynomial vector addition systems with states
• A multiparameter analysis of the boundedness problem for vector addition systems
• Model Checking Coverability Graphs of Vector Addition Systems
• Structurally cyclic Petri nets

zbMATH Keywords

counter-examplestructural propertiesdynamic graphzero-cyclevector addition system with states

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Catching a structural bug with a flower

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