hello.

you know there are many policies to control the deadlock in weighted Petri nets as:

- Detect the strict minimal siphons SMS and add monitor for each one to control the deadlock.

- Detect the elementary siphons from the SMS and add monitor for each one to reduce the number of monitors.

- Using the concept of Structurally Circular Wait SCW rather than siphon to control the deadlock.

and many other methods.

How I can introduce a new contribution at this area?

With My Best Regards

More Mahmoud Salaheldin El Sayed's questions See All
Similar questions and discussions