Pages that link to "Item:Q2501322"
From MaRDI portal
The following pages link to Supervisory control of concurrent systems. A Petri net structural approach. (Q2501322):
Displayed 11 items.
- Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory (Q312653) (← links)
- Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement (Q838995) (← links)
- On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net (Q2058574) (← links)
- Dual perspectives of equilibrium throughput properties of continuous mono-T-semiflow Petri nets: firing rate and initial marking variations (Q2063838) (← links)
- Editorial: Deadlock analysis and control in resource allocation systems (Q2279724) (← links)
- A survey of siphons in Petri nets (Q2279728) (← 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)
- Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions (Q5025032) (← links)
- Continuous Petri Nets: Controllability and Control (Q5496938) (← links)
- (Q6191021) (← links)