Petri-net model and minimum cycle time for updating a moving objects database
['Tadao Murata', 'Jaegeol Yim', 'Huabei Yin', 'Ouri Wolfson']
Petri-net model and minimum cycle time for updating a moving objects database