To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.
Recent Activity
Post Comment
Activity List
-
Hi everyone, I am new to process mining. I was looking for a plugin or tool to convert a Petri net to its reachability graph (for the finite case). Is there any prom plugin that can achieve this?November 2022 Comment
-
hverbeekHi, yes there is such a plugin. It is called "Analyze Behavioral Property of Petri net". This plugin allows you to compute behavioral properties of the Petri net (like live and dead transitions), for which it will construct the reachability graph. This reachability graph will be accessible to you in the All tab of the workspace (look for the latest item of the class "ReachabilityGraph").
P.S.: Apologies for the late reply. I hope the answer is still useful... - Write a comment
-
Howdy, Stranger!