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.

Convert sound Petri Net to Process Tree

lca
lca
in Research
Has there been any research on converting a sound Petri net to a Process Tree? If it's not possible why?

Comments

  • [Deleted User]
    [Deleted User]
    Hi,

    To my best knowledge, there are some related works that answer your questions.
    First, you can convert a Petri net to the so-called RPST (refined process structure tree). Note that RPSR is slightly different from the process tree.  Refer to the paper https://bpt.hpi.uni-potsdam.de/pub/Public/ArtemPolyvyanyy/PVV_WSFM10.pdf for more detail.
    Then, there is a tool implementation in ProM that named "Generating RPST from Accepting Petri net" that support this transformation.

    Hope it helps.
    All the best,
    Cong 




  • hverbeek
    hverbeek
    In general, this is not possible. See, for example, the following sound WF net:
    The structure of this net is too complex to be captured by a process tree (given the current set of operator nodes).

    Kind regards,

    Eric.

Sign In or Register to comment.

Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Sign In Register

Categories

In this Discussion