1. Analysis of the Petri net model of parallel manufacturing processes with shared resources;Ahmad;Inform. Sci.,2011
2. Uniform verification of workflow soundness;Barkaoui;Trans. Inst. Measur. Control J.,2010
3. K. Barkaoui, L. Petrucci, Structural analysis of workflow nets with shared resources, in: Proc. Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM’98), Computing Science Reports, vol. 98/7, Eidhoven University of Technology, 1998, pp. 82–95.
4. Timed state space exploration using POSETs;Belluomini;IEEE Trans. Comput.-Aided Des. Integr. Circ.,2000
5. R. Ben Salah, M. Bozga, O. Maler, On interleaving in timed automata, in: C. Baier, H. Hermanns (Eds.), 17th International Conference on Concurrency Theory (CONCUR 2006), LNCS, vol. 4137, 2006, pp. 465–476.