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):
Displaying 17 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)
- Optimal linear separation of the safe and unsafe subspaces of sequential resource allocation systems as a set-covering problem: algorithmic procedures and geometric insights (Q2840155) (← links)
- A SYSTEM THEORETICAL APPROACH TO RESOURCE ALLOCATION PROBLEMS (Q3716801) (← links)
- Multi-level control for multiple mobile robot systems (Q6201389) (← links)
- Interpretable modelling of retail demand and price elasticity for passenger flights using booking data (Q6669954) (← links)
