Parameterized complexity results for 1-safe Petri nets
M. PraveenKamal LodayaPublished in: CoRR (2011)
Keyphrases
- petri net
- parameterized complexity
- petri net model
- fixed parameter tractable
- global constraints
- discrete event systems
- programmable logic controller
- colored petri nets
- symmetry breaking
- service composition
- ims ld
- fuzzy petri net
- genetic algorithm
- stochastic petri net
- logic programming
- knowledge based systems
- computational complexity