Combining SysML with Petri Nets for the Design of an Urban Traffic Signal Control.

Layse Santos Souza Michel S. Soares

Published in: ICCSA (9) (2021)

Keyphrases

petri net
traffic signal control
formal methods
design process
artificial intelligence
manufacturing systems
modeling language
discrete event systems
neural network
reinforcement learning
multi agent
multi agent systems
expert systems
evolutionary algorithm
sequence diagrams