A Petri Net Based Analysis of Deadlocks for Active Objects and Futures

@inproceedings{Boer2012APN,
  title={A Petri Net Based Analysis of Deadlocks for Active Objects and Futures},
  author={Frank S. de Boer and Mario Bravetti and Immo Grabe and Matias David Lee and Martin Steffen and Gianluigi Zavattaro},
  booktitle={FACS},
  year={2012}
}
We give two different notions of deadlock for systems based on active objects and futures. One is based on blocked objects and conforms with the classical definition of deadlock by Coffman, Jr. et al. The other one is an extended notion of deadlock based on blocked processes which is more general than the classical one. We introduce a technique to prove deadlock freedom of systems of active objects. To check deadlock freedom an abstract version of the program is translated into Petri nets… CONTINUE READING
Highly Cited
This paper has 24 citations. REVIEW CITATIONS