Eike Best Harro Wimmel Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets. 63-82 2000 ICATPN http://link.springer.de/link/service/series/0558/bibs/1825/18250063.htm db/conf/apn/icatpn2000.html#BestW00