Communication dans un congrès, GALaC, Algorithme et structure de données, Informatique

Parameterized complexity and approximability of coverability problems in weighted Petri nets

Dimitri Watel, Marc-Antoine Weisser, Dominique Barth. Parameterized complexity and approximability of coverability problems in weighted Petri nets. International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2017, Zaragoza, Spain. pp.330-349, ⟨10.1007/978-3-319-57861-3_19⟩. ⟨hal-01459206⟩

Publié le