Milan Ceska, Ludek Hasa, Tomás Vojnar. Partial-Order Reduction in Model Checking Object-Oriented Petri Nets. In Roberto Moreno-Díaz, Franz Pichler, editors, Computer Aided Systems Theory - EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers. Volume 2809 of Lecture Notes in Computer Science, pages 265-278, Springer, 2003. [doi]