@inproceedings{kheldoun:hal-01789937,
  TITLE = {{A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems}},
  AUTHOR = {Kheldoun, Ahmed and Barkaoui, Kamel and Zhang, Jiafeng and Ioualalen, Malika},
  URL = {https://inria.hal.science/hal-01789937},
  NOTE = {Part 15: Software Engineering: Modeling and Meta Modeling},
  BOOKTITLE = {{5th International Conference on Computer Science and Its Applications (CIIA)}},
  ADDRESS = {Saida, Algeria},
  EDITOR = {Abdelmalek Amine and Ladjel Bellatreche and Zakaria Elberrichi and Erich J. Neuhold and Robert Wrembel},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Computer Science and Its Applications},
  VOLUME = {AICT-456},
  PAGES = {551-562},
  YEAR = {2015},
  MONTH = May,
  DOI = {10.1007/978-3-319-19578-0\_45},
  KEYWORDS = {Reconfigurable control systems ; Feature ; Recursive Petri nets ; Rewriting logic ; Maude},
  PDF = {https://inria.hal.science/hal-01789937/file/339159_1_En_45_Chapter.pdf},
  HAL_ID = {hal-01789937},
  HAL_VERSION = {v1},
}