Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization.

Peter Gjøl Jensen Kim Guldstrand Larsen Jirí Srba

Published in: SPIN (2016)

Keyphrases

petri net
real time
petri net model
manufacturing systems
high level petri nets
colored petri nets
discrete event systems
web service composition
ims ld
stochastic petri net
computer games
video games
service composition
concurrent systems
neural network
process model
low cost
fuzzy petri net
control system