A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes

Eduardo Tavares, Paulo Romero Martins Maciel, Arthur Bessa, Raimundo S. Barreto, Leonardo Barros, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima. A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes. In Carlos Galup-Montoro, Sergio Bampi, Alex Orailoglu, editors, Proceedings of the 18th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2005, Florianolpolis, Brazil, September 4-7, 2005. pages 98-103, ACM, 2005. [doi]

@inproceedings{TavaresMBBBJL05,
  title = {A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes},
  author = {Eduardo Tavares and Paulo Romero Martins Maciel and Arthur Bessa and Raimundo S. Barreto and Leonardo Barros and Meuse N. Oliveira Jr. and Ricardo Massa Ferreira Lima},
  year = {2005},
  doi = {10.1145/1081081.1081110},
  url = {http://doi.acm.org/10.1145/1081081.1081110},
  tags = {rule-based, embedded software, systematic-approach},
  researchr = {https://researchr.org/publication/TavaresMBBBJL05},
  cites = {0},
  citedby = {0},
  pages = {98-103},
  booktitle = {Proceedings of the 18th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2005, Florianolpolis, Brazil, September 4-7, 2005},
  editor = {Carlos Galup-Montoro and Sergio Bampi and Alex Orailoglu},
  publisher = {ACM},
}