Simulation and Control of Reactive Systems.

Pawel Gburzynski Jacek Maitan

Published in: WSC (1997)

Keyphrases

reactive systems
control system
discrete event
petri net
simulation model
multi agent
temporal logic
control method
source code
mathematical model
model checking
development process
state machines