Catching a structural bug with a flower

DOI10.3233/FI-2015-1245MaRDI QIDQ2803577zbMATH OpenFDO

Authors Florent Avellaneda, Rémi Morin

Publication date 2 May 2016

Published in Fundamenta Informaticae (Search for Journal in Brave)

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)

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

Cited in

(1)

• Exhibition of a structural bug with wings

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)