From OWL-S Descriptions to Petri Nets. - Antonio Brogi; Sara Corfini; Stefano Iardella (ICSOC Workshops, 2007)