Decidability of Zenoness, Syntactic Boundedness and Token-Liveness for Dense-Timed Petri Nets.

Parosh Aziz Abdulla Pritha Mahata Richard Mayr

Published in: FSTTCS (2004)

Keyphrases

timed petri nets
discrete event systems
description logics
sufficient conditions
petri net
query answering
mathematical modeling
discrete event
dynamical systems
scheduling problem
telecommunication networks
model based diagnosis