Modelling Concurrent Accesses to Shared Data via Petri Nets

Nicoletta De Francesco, Ugo Montanari, Gioia Ristori. Modelling Concurrent Accesses to Shared Data via Petri Nets. In Ernst-RĂ¼diger Olderog, editor, Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET 94) San Miniato, Italy, 6-10 June, 1994. Volume A-56 of IFIP Transactions, pages 403-422, North-Holland, 1994.

@inproceedings{FrancescoMR94,
  title = {Modelling Concurrent Accesses to Shared Data via Petri Nets},
  author = {Nicoletta De Francesco and Ugo Montanari and Gioia Ristori},
  year = {1994},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/FrancescoMR94},
  cites = {0},
  citedby = {0},
  pages = {403-422},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET  94) San Miniato, Italy, 6-10 June, 1994},
  editor = {Ernst-RĂ¼diger Olderog},
  volume = {A-56},
  series = {IFIP Transactions},
  publisher = {North-Holland},
  isbn = {0-444-82020-5},
}