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.

Merge Petri

Hi,Is there a plugin that it can merge two Petri nets? Thanks

Comments

  • hverbeekhverbeek Posts: 785
    There is a plugin that can merge an array of accepting Petri nets into a single accepting Petri nets, but I'm not sure whether your definition of 'merge' is the same as used by this plugin. Basically, this plugin merges two transitions in different nets into a single transition if the transition labels are the same. The plugin is called "Merge Accepting Petri Nets".

    An accepting Petri net is just a Petri net with an initial state and a collection of possible final states. Any trace that brings the Petri net from the initial state to some final state is accepted by the Petri net. All other traces are rejected.


Sign In or Register to comment.