@inproceedings{rocha:hal-01274780,
  TITLE = {{Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows}},
  AUTHOR = {Rocha, Jos{\'e}-In{\'a}cio and P{\'a}scoa Dias, Oct{\'a}vio and Gomes, Lu{\'i}s},
  URL = {https://inria.hal.science/hal-01274780},
  NOTE = {Part 9: Petri Nets},
  BOOKTITLE = {{5th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS)}},
  ADDRESS = {Costa de                        Caparica, Portugal},
  EDITOR = {Luis M. Camarinha-Matos and Nuno S. Barrento and Ricardo Mendon{\c c}a},
  PUBLISHER = {{Springer}},
  SERIES = {Technological Innovation for Collective Awareness Systems},
  VOLUME = {AICT-423},
  PAGES = {237-248},
  YEAR = {2014},
  MONTH = Apr,
  DOI = {10.1007/978-3-642-54734-8\_27},
  KEYWORDS = {Dataflows ; Petri nets ; Synchronous Dataflows ; Place and Transition Invariants ; Models of Computation},
  PDF = {https://inria.hal.science/hal-01274780/file/978-3-642-54734-8_27_Chapter.pdf},
  HAL_ID = {hal-01274780},
  HAL_VERSION = {v1},
}