Strong Priority and Determinacy in Timed CCS.

Luigi Liquori Michael Mendler

Published in: CoRR (2024)

Keyphrases

petri net
priority scheduling
decision making
steady state
data mining
reinforcement learning
lower bound
timed automata