Simulating Multiple Formalisms Concurrently Based on Reference Nets

Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz. Simulating Multiple Formalisms Concurrently Based on Reference Nets. In Daniel Moldt, Lawrence Cabac, Heiko Rölke, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017. Volume 1846 of CEUR Workshop Proceedings, pages 137-156, CEUR-WS.org, 2017. [doi]

@inproceedings{MollerHMS17,
  title = {Simulating Multiple Formalisms Concurrently Based on Reference Nets},
  author = {Pascale Möller and Michael Haustermann and David Mosteller and Dennis Schmitz},
  year = {2017},
  url = {http://ceur-ws.org/Vol-1846/paper9.pdf},
  researchr = {https://researchr.org/publication/MollerHMS17},
  cites = {0},
  citedby = {0},
  pages = {137-156},
  booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017},
  editor = {Daniel Moldt and Lawrence Cabac and Heiko Rölke},
  volume = {1846},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}