Plan representation using Petri nets

19 novembro 2009, 14:00 • Rodrigo Ventura

Plan representation using Petri nets. Petri net definitions: bipartite weighted directed graph; marking; dynamics. Examples.

Plan representation using Petri nets: mapping robot tasks onto Petri net models. Task execution and token flow. 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.