Pages that link to "Item:Q2348357"

The following pages link to Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks (Q2348357):

Displaying 2 items.

• Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
• Design of supervisors for linear marking specifications in labeled Petri nets (Q2063788) (← links)