Guidelines for Modelling Reactive Systems with Coloured Petri Nets

Madalena Gonçalves, João M. Fernandes. Guidelines for Modelling Reactive Systems with Coloured Petri Nets. In Ricardo Jorge Machado, Rita Suzana Pitangueira Maciel, Julia Rubin, Goetz Botterweck, editors, Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers. Volume 7706 of Lecture Notes in Computer Science, pages 126-137, Springer, 2012. [doi]

@inproceedings{GoncalvesF12-0,
  title = {Guidelines for Modelling Reactive Systems with Coloured Petri Nets},
  author = {Madalena Gonçalves and João M. Fernandes},
  year = {2012},
  doi = {10.1007/978-3-642-38209-3_8},
  url = {http://dx.doi.org/10.1007/978-3-642-38209-3_8},
  researchr = {https://researchr.org/publication/GoncalvesF12-0},
  cites = {0},
  citedby = {0},
  pages = {126-137},
  booktitle = {Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers},
  editor = {Ricardo Jorge Machado and Rita Suzana Pitangueira Maciel and Julia Rubin and Goetz Botterweck},
  volume = {7706},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-38209-3},
}