Diagnosability analysis of patterns on bounded labeled prioritized Petri nets

Houssam-Eddine Gougam, Yannick Pencolé, Audine Subias. Diagnosability analysis of patterns on bounded labeled prioritized Petri nets. Discrete Event Dynamic Systems, 27(1):143-180, 2017. [doi]

@article{GougamPS17,
  title = {Diagnosability analysis of patterns on bounded labeled prioritized Petri nets},
  author = {Houssam-Eddine Gougam and Yannick Pencolé and Audine Subias},
  year = {2017},
  doi = {10.1007/s10626-016-0234-5},
  url = {http://dx.doi.org/10.1007/s10626-016-0234-5},
  researchr = {https://researchr.org/publication/GougamPS17},
  cites = {0},
  citedby = {0},
  journal = {Discrete Event Dynamic Systems},
  volume = {27},
  number = {1},
  pages = {143-180},
}