An effective FMS deadlock prevention policy based on elementary siphons | IEEE Conference Publication | IEEE Xplore