Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement

Francesco Basile, Laura Recalde, Pasquale Chiacchio, Manuel Silva. Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement. Discrete Event Dynamic Systems, 19(1):1-30, 2009. [doi]

@article{BasileRCS09,
  title = {Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement},
  author = {Francesco Basile and Laura Recalde and Pasquale Chiacchio and Manuel Silva},
  year = {2009},
  doi = {10.1007/s10626-008-0050-7},
  url = {http://dx.doi.org/10.1007/s10626-008-0050-7},
  tags = {constraints, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/BasileRCS09},
  cites = {0},
  citedby = {0},
  journal = {Discrete Event Dynamic Systems},
  volume = {19},
  number = {1},
  pages = {1-30},
}