Pages that link to "Item:Q1769928"
From MaRDI portal
The following pages link to Real-time management of resource allocation systems. A discrete event systems approach. (Q1769928):
Displayed 14 items.
- Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory (Q312653) (← links)
- An algorithm to compute the minimal siphons in \(S^4 PR\) nets (Q351730) (← links)
- Robust control reconfiguration of resource allocation systems with Petri nets and integer programming (Q462384) (← links)
- A distributed protocol for motion coordination in free-range vehicular systems (Q522801) (← links)
- Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources (Q856534) (← links)
- Supervision based on place invariants: a survey (Q858151) (← links)
- Editorial: Deadlock analysis and control in resource allocation systems (Q2279724) (← links)
- Complexity of the deadlock problem for Petri nets modeling resource allocation systems (Q2279727) (← links)
- Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks (Q2348357) (← links)
- Performance optimization for a class of generalized stochastic Petri nets (Q2348377) (← links)
- Concurrency bugs in multithreaded software: modeling and analysis using Petri nets (Q2393141) (← links)
- Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems (Q2789909) (← links)
- Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait (Q2798480) (← links)
- Multi-level control for multiple mobile robot systems (Q6201389) (← links)