Safe asynchronous mixed-choice for timed interactions.

Jonah Pears Laura Bocchi Andy King

Published in: CoRR (2023)

Keyphrases

petri net
human interactions
multiscale
search algorithm
digital libraries
discrete event
feature interactions
real time
data mining
computer vision
interaction patterns
asynchronous circuits
asynchronous communication
colored petri nets
delay insensitive
timed automata