Lorenzo Capra Addressing soundness and efficiency issues in dynamic processes: a reflective PN-based modeling approach. 256-264 2008 SpringSim http://dl.acm.org/citation.cfm?id=1400549.1400584 conf/springsim/2008 db/conf/springsim/springsim2008.html#Capra08