@article{843349,
      note = {International conference proceedings.},
      author = {Khomenko, Victor. and Roux, Olivier H.},
      url = {http://library.usi.edu/record/843349},
      title = {Application and theory of petri nets and concurrency 39th  International Conference, PETRI NETS 2018, Bratislava,  Slovakia, June 24-29, 2018, proceedings / [electronic  resource] :. International Conference on Applications and  Theory of Petri Nets and Other Models of Concurrency},
      publisher = {Springer,},
      abstract = {This book constitutes the proceedings of the 39th  International Conference on Application and Theory of Petri  Nets and Concurrency, PETRI NETS 2018, held in Bratislava,  Slovakia, in June 2018. Petri Nets 2017 is co-located with  the 19th International Conference on Application of  Concurrency to System Design, ACSD 2018. The 15 regular and  8 tool papers, with 1 invited talk presented together in  this volume were carefully reviewed and selected from 33  submissions. The focus of the conference is on following  topics: Petri Nets Synthesis; Analysis and Model Checking;  Languages; Semantics and Expressiveness; and Tools.},
      doi = {https://doi.org/10.1007/978-3-319-91268-4},
      recid = {843349},
      pages = {1 online resource.},
      address = {Cham :},
      year = {2018},
}