Mahmoud Salaheldin El Sayed

3 Questions 1 Answers 0 Followers

Questions related from Mahmoud Salaheldin El Sayed

How I can get a new idea to decide the liveness in a generalized class of Petri nets as (S4PR)?

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. -...

09 September 2019 2,844 0 View

Does any one can help me to find a new idea to control deadlock problem in Multi-Unit resource systems using high classes of Petri Nets?

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)...

20 October 2018 271 0 View

How I can design an effective algorithm to avoid a deadlock problem within multi-unit (reusable) resources system?

A multi-unit (reusable) resource is a resource has a number of identical units. So it can serve many processes at the same time, in this system the deadlock must be happen. At this system the...

24 November 2015 8,483 5 View