Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness

Parosh Aziz Abdulla Pritha Mahata Richard Mayr

Published in: CoRR (2006)

Keyphrases

timed petri nets
discrete event systems
sufficient conditions
mathematical modeling
petri net
complex systems
discrete event
machine learning
special case
dynamical systems
reinforcement learning
multistage