Plan representation using Petri nets (2)

10 dezembro 2015, 14:00 • Pedro Urbano Lima

Abstraction levels in Discrete Event Systems and different model views (untimed/logical, timed and stochastically timed). Plan qualitative analysis and PN problems: boundedness, conservation, liveness. Plan quantitative analysis and stochastic PN problems. Exponential PNs and equivalence to Continuous Time Markov Chains and Markov Decision Processes.