Occam's Razor Applied to the Petri Net Coverability Problem.

Thomas Geffroy Jérôme Leroux Grégoire Sutre

Published in: CoRR (2016)

Keyphrases

petri net
manufacturing systems
discrete event systems
petri net model
neural network
service composition
ims ld
colored petri nets
process model
web service composition
fuzzy petri net
high level petri nets