Uniform formulas for compound siphons, complementary siphons and characteristic vectors in deadlock prevention of flexible manufacturing systems

Unmarked siphons in a Petri net modelling concurrent systems such as those in cloud computing induce deadlocks. The number of siphons grows exponentially with the size of a net. This problem can be relieved by computing compound (or strongly dependent) siphons based on basic siphons. A basic (resp....

Ausführliche Beschreibung