Yehia Thabet Kotb Andre Stephan Baumgart An Extended Petri net for Modeling Workflow with Critical Sections. 134-141 2005 conf/icebe/2005 ICEBE http://doi.ieeecomputersociety.org/10.1109/ICEBE.2005.27 db/conf/icebe/icebe2005.html#KotbB05