Ajoy Datta
Ajoy Datta and S. Ghosh.
Synthesis of a class of deadlock-free Petri nets.
Journal of the ACM
, 31(3):486-506, July 1984.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database