Hardness Results for the Synthesis of b-bounded Petri Nets (Technical Report).
Ronny TredupPublished in: CoRR (2019)
Keyphrases
- petri net
- technical report
- petri net model
- discrete event systems
- fuzzy petri net
- high level petri nets
- manufacturing systems
- colored petri nets
- process model
- discrete dynamical systems
- service composition
- genetic algorithm
- stochastic petri net
- state machines
- artificial intelligence
- concurrent systems
- sequence diagrams
- complex systems
- np complete
- expert systems