State space computation and analysis of Time Petri Nets.

Guillaume Gardey Olivier H. Roux Olivier F. Roux

Published in: Theory Pract. Log. Program. (2006)

Keyphrases

petri net
state space
manufacturing systems
data analysis
colored petri nets
search space
dynamic programming
high dimensional
control system
fuzzy logic
state machines