Parameterized Complexity Results for 1-safe Petri Nets.
M. PraveenKamal LodayaPublished in: CONCUR (2011)
Keyphrases
- petri net
- parameterized complexity
- petri net model
- fixed parameter tractable
- global constraints
- discrete event systems
- colored petri nets
- fuzzy petri net
- service composition
- symmetry breaking
- stochastic petri net
- programmable logic controller
- temporal logic
- first order logic
- state space
- np hard
- special case
- evolutionary algorithm