The following pages link to (Q5506396):
Displaying 6 items.
- Integrating discrete controller synthesis into a reactive programming language compiler (Q378902) (← links)
- Stability analysis of buffer priority scheduling policies using Petri nets (Q1415918) (← links)
- Quasi-static scheduling of communicating tasks (Q1959479) (← links)
- Concurrency bugs in multithreaded software: modeling and analysis using Petri nets (Q2393141) (← links)
- (Q3431091) (← links)
- Near-Optimal Scheduling for Petri Net Models With Forbidden Markings (Q4682303) (← links)