Petri Net Reachability Problem (Invited Talk)

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02390621
Contributor : Jérôme Leroux <>
Submitted on : Tuesday, December 3, 2019 - 11:03:04 AM
Last modification on : Wednesday, December 4, 2019 - 1:38:22 AM

Identifiers

  • HAL Id : hal-02390621, version 1

Collections

Citation

Jérôme Leroux. Petri Net Reachability Problem (Invited Talk). 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), 2019, Aachen, Germany. ⟨hal-02390621⟩

Share

Metrics

Record views

14