Login / Signup
Modeling agent-based traffic simulation properties in Alloy.
Frederico Araujo
Junia Valente
Rym Zalila-Wenkstern
Published in:
SpringSim (ADS) (2012)
Keyphrases
</>
agent based modeling
discrete event simulation
traffic network
traffic flow
modeling method
agent based simulation
colored petri nets
mathematical model
network traffic
modeling language
agent model
traffic light
agent based models
traffic control
road traffic
agent based simulations