Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas

Eliane Santiago Ramos, José M. Parente de Oliveira. Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas. Revista Brasileira de Informática na Educ., 17(3):53-66, 2009. [doi]

@article{RamosO09,
  title = {Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas},
  author = {Eliane Santiago Ramos and José M. Parente de Oliveira},
  year = {2009},
  doi = {10.5753/rbie.2009.17.03.53},
  url = {https://doi.org/10.5753/rbie.2009.17.03.53},
  researchr = {https://researchr.org/publication/RamosO09},
  cites = {0},
  citedby = {0},
  journal = {Revista Brasileira de Informática na Educ.},
  volume = {17},
  number = {3},
  pages = {53-66},
}