Formal specifications of resource-deadlock prone petri nets

@article{Cooke1990FormalSO,
  title={Formal specifications of resource-deadlock prone petri nets},
  author={Daniel E. Cooke},
  journal={Journal of Systems and Software},
  year={1990},
  volume={11},
  pages={53-69}
}