@inproceedings{gomes:hal-03769133,
  TITLE = {{Logics for Petri Nets with Propagating Failures}},
  AUTHOR = {Gomes, Leandro and Madeira, Alexandre and Benevides, Mario},
  URL = {https://inria.hal.science/hal-03769133},
  NOTE = {Part 4: Verification},
  BOOKTITLE = {{8th International Conference on Fundamentals of Software Engineering (FSEN)}},
  ADDRESS = {Tehran, Iran},
  EDITOR = {Hossein Hojjat and Mieke Massink},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Fundamentals of Software Engineering},
  VOLUME = {LNCS-11761},
  PAGES = {145-157},
  YEAR = {2019},
  MONTH = May,
  DOI = {10.1007/978-3-030-31517-7\_10},
  PDF = {https://inria.hal.science/hal-03769133/file/490001_1_En_10_Chapter.pdf},
  HAL_ID = {hal-03769133},
  HAL_VERSION = {v1},
}