Partial-Order Reduction in Model Checking Object-Oriented Petri Nets. - Milan Ceska 001; Ludek Hasa; Tomás Vojnar (EUROCAST, 2003)