Login / Signup
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness.
Parosh Aziz Abdulla
Pritha Mahata
Richard Mayr
Published in:
Log. Methods Comput. Sci. (2007)
Keyphrases
</>
timed petri nets
discrete event systems
sufficient conditions
petri net
mathematical modeling
discrete event
dynamical systems
model based diagnosis
reinforcement learning
complex systems