research
∙
02/12/2020
Optimal Label Splitting for Embedding an LTS into an arbitrary Petri Net Reachability Graph is NP-complete
For a given labelled transition system (LTS), synthesis is the task to f...
share
research
∙
11/20/2019
