=Volume= {{Volume |number=3998 |storemode=property |wikidataid=None |title=Joint Proceedings of the Workshops at the 46th International Conference on Application and Theory of Petri Nets and Concurrency: Petri Nets and Software Engineering (PNSE'25), Algorithms & Theories for the Analysis of Event Data (ATAED’25), and Petri Net Games, Examples and Quizzes for Education, Contest and Fun (PeNGE’25) |acronym=PN-WS 2025 |url=None |date=2025-07-18 |urn=urn:nbn:de:0074-1155-8 }}