![](bg8.png)
ACKNOWLEDGMENTS
This research is part of the INCT of the Future
Internet for Smart Cities funded by CNPq proc.
465446/2014-0, Coordenac¸
˜
ao de Aperfeic¸oamento
de Pessoal de N
´
ıvel Superior – Brasil (CAPES)
– Finance Code 001, FAPESP proc. 14/50937-1,
and FAPESP proc. 15/24485-9. This work was
supported by the CAPES - PROCAD - Amazo-
nia (88887.200532/2018-00); National Council for
Scientific and Technological Development – CNPq
(308059/2022-0); and the State of Maranh
˜
ao Re-
search Funding Agency - FAPEMA (UNIVERSAL-
00745/19, BEPP-01608/21, BEPP-01768/21).
REFERENCES
An, Y., Zhu, C., Chen, P., and Li, Y. (2017). Modeling
and analysis of transit signal priority control systems
based on colored petri nets. In 2017 IEEE Interna-
tional Conference on Systems, Man, and Cybernetics
(SMC), pages 2701–2706.
Atabekov, A., Starosielsky, M., Lo, D. C.-T., and He, J. S.
(2015). Internet of things-based temperature tracking
system. In 2015 IEEE 39th Annual Computer Soft-
ware and Applications Conference, volume 3, pages
493–498.
Atzori, L., Iera, A., and Morabito, G. (2010). The internet of
things: A survey. Computer Networks, 54(15):2787–
2805.
Bello, O. and Zeadally, S. (2019). Toward efficient smarti-
fication of the internet of things (iot) services. Future
Generation Computer Systems, 92:663–673.
Booch, G., Rumbaugh, J., and Jacobson, I. (1999). Uni-
fied modeling language user guide, the (2nd edi-
tion) (addison-wesley object technology series). J.
Database Manag., 10.
Chen, G., Tang, J., and Coon, J. P. (2018). Optimal routing
for multihop social-based d2d communications in the
internet of things. IEEE Internet of Things Journal,
5(3):1880–1889.
Ghobaei-Arani, M., Rahmanian, A., Souri, A., and Rah-
mani, A. M. (2018). A moth-flame optimization algo-
rithm for web service composition in cloud comput-
ing: Simulation and verification. Software: Practice
and Experience, 48(10):1865–1892.
Guo, Q., Li, L., and Ban, X. (2019). Urban traffic sig-
nal control with connected and automated vehicles: A
survey. Transportation Research Part C: Emerging
Technologies, 101.
Hern
´
andez-Mu
˜
noz, J., Vercher, J., Mu
˜
noz, L., Galache, J.,
Presser, M., G
´
omez, L., and Giæver, J. (2011). Smart
cities at the forefront of the future internet. In The
Future Internet, pages 447–462. Springer Berlin Hei-
delberg.
Herrera-Quintero, L. F., Vega-Alfonso, J. C., Banse, K.
B. A., and Carrillo Zambrano, E. (2018). Smart its
sensor for the transportation planning based on iot ap-
proaches using serverless and microservices architec-
ture. IEEE Intelligent Transportation Systems Maga-
zine, 10(2):17–27.
Jacobson, I., Spence, I., and Ng, P.-W. (2017). Is there a
single method for the internet of things? Commun.
ACM, 60(11):46–53.
Lima, J. W. S. d., Pontual Falc
˜
ao, T., and Andrade, E.
(2021). Desenvolvimento e avaliac¸
˜
ao de uma ferra-
menta interativa baseada em exemplos para o apren-
dizado de modelagem de sistemas usando redes de
petri. Revista Brasileira de Inform
´
atica na Educac¸
˜
ao,
29:1232–1261.
Miao, L. and Liu, K. (2016). Towards a heterogeneous
internet-of-things testbed via mesh inside a mesh:
Poster abstract. In Proceedings of the 14th ACM Con-
ference on Embedded Network Sensor Systems CD-
ROM, SenSys ’16, page 368–369, New York, NY,
USA. Association for Computing Machinery.
Motta, R. (2021). An Evidence-Based Roadmap to Support
the Internet of Things Software Systems Engineering.
PhD thesis, Universidade Federal do Rio de Janeiro,
Rio de Janeiro.
Motta, R. C., de Oliveira, K. M., and Travassos, G. H.
(2018). On challenges in engineering iot software sys-
tems. In Proceedings of the XXXII Brazilian Sym-
posium on Software Engineering, SBES ’18, page
42–51, New York, NY, USA. Association for Com-
puting Machinery.
Muralidharan, S., Roy, A., and Saxena, N. (2018). Mdp-iot:
Mdp based interest forwarding for heterogeneous traf-
fic in iot-ndn environment. Future Generation Com-
puter Systems, 79:892–908.
OMG (2019). Systems Modeling Language (OMG SysML)
Version 1.6. [S.l.]: OMG, 2019.
Souza, L. S., Misra, S., and Soares, M. S. (2020). Smartc-
itysysml: A sysml profile for smart cities applica-
tions. In Computational Science and Its Applica-
tions – ICCSA 2020: 20th International Conference,
Cagliari, Italy, July 1–4, 2020, Proceedings, Part VI,
page 383–397, Berlin, Heidelberg. Springer-Verlag.
Talavera, J. M., Tob
´
on, L. E., G
´
omez, J. A., Culman, M. A.,
Aranda, J. M., Parra, D. T., Quiroz, L. A., Hoyos, A.,
and Garreta, L. E. (2017). Review of iot applications
in agro-industrial and environmental fields. Comput-
ers and Electronics in Agriculture, 142:283–297.
Wei, H., Zheng, G., Gayah, V., and Li, Z. (2019). A survey
on traffic signal control methods.
ICEIS 2023 - 25th International Conference on Enterprise Information Systems
194