Parameterized complexity results for 1-safe Petri nets

Computer Science – Logic in Computer Science

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

Full version of the paper appearing in CONCUR 2011

Scientific paper

We associate a graph with a 1-safe Petri net and study the parameterized complexity of various problems with parameters derived from the graph. With treewidth as the parameter, we give W[1]-hardness results for many problems about 1-safe Petri nets. As a corollary, this proves a conjecture of Downey et. al. about the hardness of some graph pebbling problems. We consider the parameter benefit depth (that is known to be helpful in getting better algorithms for general Petri nets) and again give W[1]-hardness results for various problems on 1-safe Petri nets. We also consider the stronger parameter vertex cover number. Combining the well known automata-theoretic method and a powerful fixed parameter tractability (FPT) result about Integer Linear Programming, we give a FPT algorithm for model checking Monadic Second Order (MSO) formulas on 1-safe Petri nets, with parameters vertex cover number and the size of the formula.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Parameterized complexity results for 1-safe Petri nets does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Parameterized complexity results for 1-safe Petri nets, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Parameterized complexity results for 1-safe Petri nets will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-320844

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.