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