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.

Accepting Petri Nets

I apologise if it's a stupid question, but could someone tell me the difference between an Accepting Petri net and an ordinary Petri net?


  • Hi,

    An accepting Petri net has an initial marking and a collection of final markings. An ordinary Petri net mayhave an initial marking but has no final markings. Because the accepting Petri net has final markings, we can check whether the Petri net accepts some trace: If it can reaches a final marking from the initial marking by executing that trace, it accepts the trace.

    Kind regards,
  • Thank you Eric. 
    And I just discovered your paper
    It's very helpful, thanks again. 
Sign In or Register to comment.