Ptn_props is a project mainly written in Scala, it's free.

show properties of place-transition-networks