Login / Signup

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

Parosh Aziz AbdullaPritha MahataRichard 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