Laïd Kahloul, Samir Bourekkache, Karim Djouani, Allaoua Chaoui, Okba Kazar. Using High Level Petri Nets in the Modelling, Simulation and Verification of Reconfigurable Manufacturing Systems. International Journal of Software Engineering and Knowledge Engineering, 24(3):419-444, 2014. [doi]
Abstract is missing.