@article{856739,
      note = {Includes author index.},
      author = {Koutny, Maciej, and Kristensen, Lars M. and Penczek,  Wojciech,},
      url = {http://library.usi.edu/record/856739},
      title = {Transactions on petri nets and other models of concurrency  XIII /},
      doi = {https://doi.org/10.1007/978-3-662-58381-4},
      recid = {856739},
      pages = {1 online resource (xvii, 211 pages) :},
}