In this talk, Arya Adriansyah presents the design and implementation of a set of plugins for Petri net analysis in ProM. These plugins are built on the upcoming ProM architecture, also illustrating the flexibility of composing elementary plugins to macros. Recorded at the ProM User Meeting, TU Eindhoven, 12 January 2009.