Login / Signup
Small Vertex Cover makes Petri Net Coverability and Boundedness Easier
M. Praveen
Published in:
CoRR (2010)
Keyphrases
</>
petri net
vertex cover
brute force search
petri net model
approximation algorithms
fuzzy petri net
partial order
planar graphs
colored petri nets
sufficient conditions
service composition
ims ld
special case
np hard
knowledge based systems
stochastic petri net