On the Parameterized Complexity of Synthesizing Boolean Petri Nets With Restricted Dependency.
Ronny TredupEvgeny ErofeevPublished in: ICE (2020)
Keyphrases
- petri net
- parameterized complexity
- petri net model
- discrete event systems
- stochastic petri net
- global constraints
- colored petri nets
- fuzzy petri net
- boolean functions
- programmable logic controller
- service composition
- fixed parameter tractable
- symmetry breaking
- ims ld
- artificial intelligence
- lower bound
- objective function
- database systems