Text this: An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets