Formal Validation of Complex Production Systems Using Coloured Petri Nets - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Armando W. Colombo, Javier Martínez, Ricardo O. Carelli. Formal Validation of Complex Production Systems Using Coloured Petri Nets. In ICRA. pages 1713-1718, 1994.

@inproceedings{ColomboMC94,
  title = {Formal Validation of Complex Production Systems Using Coloured Petri Nets},
  author = {Armando W. Colombo and Javier Martínez and Ricardo O. Carelli},
  year = {1994},
  researchr = {https://researchr.org/publication/ColomboMC94},
  cites = {0},
  citedby = {0},
  pages = {1713-1718},
  booktitle = {ICRA},
}

runs on WebDSL