Hello,
I'm trying to solve deadlock problem in multi-unit resource systems using high classes of Petri nets. There are dozens of algorithms based on Parallel deadlock detection algorithms (PDDA) with their hardware implementation, but I'm trying to solve this problem in a software manner using high classes of Petri nets, I'm using a class WS3PR to model the system and prove the deadlock-free by using the structure and properties for this class. I'm also using a class S4PR to control the deadlock in this system, but the problem is, there are many and many papers using these classes to control the deadlock problem, my question, how I can get a new idea ( a new contribution) in this topic?
- Badges
- Science topic
More Mahmoud Salaheldin El Sayed's questions See All
Similar questions and discussions