On spatial modeling of discrete event systems using point-interval logic.

Abbas K. Zaidi Kasim H. Rizvi S. Sajjad Hussain

Published in: SMC (2003)

Keyphrases

discrete event systems
petri net
complex systems
model based diagnosis
spatial data
failure diagnosis
spatial information
temporal aspects
neural network
spatial and temporal
timed petri nets
telecommunication networks
modal logic
spatio temporal
dynamic systems
eye movements
dynamic programming
lower bound