Occam's Razor applied to the Petri net coverability problem

Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02390655
Contributor : Jérôme Leroux <>
Submitted on : Tuesday, December 3, 2019 - 11:09:50 AM
Last modification on : Wednesday, December 18, 2019 - 6:02:02 PM

Links full text

Identifiers

Collections

Citation

Thomas Geffroy, Jérôme Leroux, Grégoire Sutre. Occam's Razor applied to the Petri net coverability problem. Theoretical Computer Science, Elsevier, 2018, 750, pp.38-52. ⟨10.1016/j.tcs.2018.04.014⟩. ⟨hal-02390655⟩

Share

Metrics

Record views

25