Matthieu Perin, Jean-Marc Faure. Comparing detailed and abstract timed models of automated discrete manufacturing systems. In 2013 IEEE International Conference on Automation Science and Engineering, CASE 2013, Madison, WI, USA, August 17-20, 2013. pages 916-923, IEEE, 2013. [doi]
Abstract is missing.