Petri nets are less expressive than state-extended PA.

Mojmír Kretínský Vojtech Rehák Jan Strejcek

Published in: Theor. Comput. Sci. (2008)

Keyphrases

petri net
manufacturing systems
discrete event systems
petri net model
colored petri nets
service composition
fuzzy petri net
ims ld
high level petri nets
neural network
process model
human brain
concurrent systems
stochastic petri net