M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages

Eike Best, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz. M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Acta Informatica, 35(10):813-857, 1998. [doi]

@article{BestFHKP98,
  title = {M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages},
  author = {Eike Best and Wojciech Fraczak and Richard P. Hopkins and Hanna Klaudel and Elisabeth Pelz},
  year = {1998},
  url = {http://link.springer.de/link/service/journals/00236/bibs/8035010/80350813.htm},
  tags = {programming languages, semantics,  algebra, programming},
  researchr = {https://researchr.org/publication/BestFHKP98},
  cites = {0},
  citedby = {0},
  journal = {Acta Informatica},
  volume = {35},
  number = {10},
  pages = {813-857},
}