09-05-2008 Efficient Controllability Analysis of Open Nets Workshop on Web Services and Formal Methods 2008 Daniela Weinberg [email protected].