@article{1437583,
      recid = {1437583},
      author = {Buchs, Didier, and Carmona, Josep,},
      title = {Application and theory of petri nets and concurrency :  42nd International Conference, PETRI NETS 2021, Virtual  event, June 23-25, 2021, Proceedings /. International  Conference on Applications and Theory of Petri Nets and  Other Models of Concurrency},
      pages = {1 online resource (xi, 487 pages) :},
      note = {Includes author index.},
      abstract = {This book constitutes the proceedings of the 42nd  International Conference on Application and Theory of Petri  Nets and Concurrency, PETRI NETS 2021, which was held  virtually in June 2021. The 22 full papers presented  together with 2 keynote papers in this volume were  carefully reviewed and selected from 39 submissions. The  focus of the conference is on the following topics:  application of concurrency to system design; games;  verification; synthesis and mining; reachability and  partial order; semantics; and tools.},
      url = {http://library.usi.edu/record/1437583},
      doi = {https://doi.org/10.1007/978-3-030-76983-3},
}