A Survey of 25 Years of Research on Decidability Issues for Petri Nets

This survey paper examines 25 years of research on decidability issues related to Petri nets, highlighting key findings on the decidability of properties, equivalences, and temporal logics, ultimately demonstrating the complexity of analyzing concurrent systems.