A model of fuzzy spatio-temporal knowledge representation and reasoning based on high-level Petri nets.