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

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

Published in: RP (2016)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
high level petri nets
web services
colored petri nets