Modeling FlexRay macrotick generation process using Coloured Petri Nets.

Hana Mejdi Salem Hasnaoui

Published in: IWCMC (2018)

Keyphrases

generation process
coloured petri nets
communication protocol
safety critical
agent architecture
formal verification
learning environment
user interface
intelligent systems
embedded systems