Sign in
Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets.
Hongwei Liao
Jason Stanley
Yin Wang
Stéphane Lafortune
Spyros A. Reveliotis
Scott A. Mahlke
Published in:
CDC/ECC (2011)
Keyphrases
</>
petri net
artificial intelligence
concurrent systems
fuzzy logic