https://www.sciencedirect.com/science/article/pii/S2352711024002838

PNSE’12 proceedings, published in CEUR-WS.org Vol-851, feature research on applying Petri nets to software engineering, focusing on modeling, simulation, and verification of distributed systems. Held in 2012, this open-access volume highlights the intersection of formal methods and practical software development. Access the full proceedings at CEUR-WS.org.