Stefan Haar: Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. PAPM-PROBMIV 2002: 95-114