@InProceedings{l92-p1-14,
  AUTHOR    = {Paola Alimonti and Esteban Feuerstein and Umberto Nanni},
  TITLE     = {Linear Time Algorithms for Liveness and Boundedness in Conflict-free Petri Nets},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {1--14},
  KEYWORDS  = {}}