Occam's Razor applied to the Petri net coverability problem.

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

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

Keyphrases

petri net
discrete event systems
petri net model
colored petri nets
fuzzy petri net
web service composition
learning environment
process model
ims ld