Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications

A smart city is an urban centre that integrates a variety of solutions to improve infrastructure performance and achieve sustainable urban development. Urban roads are a crucial infrastructure highly demanded by citizens and organisations interested in their deployment, performance, and safety. Urba...

Full description

Bibliographic Details
Main Authors: Layse Santos Souza, Michel S. Soares
Format: Article
Language:English
Published: Graz University of Technology 2023-10-01
Series:Journal of Universal Computer Science
Subjects:
Online Access:https://lib.jucs.org/article/97170/download/pdf/