Login / Signup
On the Parameterized Complexity of Synthesizing Boolean Petri Nets With Restricted Dependency (Technical Report).
Ronny Tredup
Evgeny Erofeev
Published in:
CoRR (2020)
Keyphrases
</>
petri net
technical report
parameterized complexity
discrete event systems
fixed parameter tractable
petri net model
fuzzy petri net
global constraints
stochastic petri net
boolean functions
colored petri nets
service composition
ims ld
computational problems
symmetry breaking
search space