publications:
- title: "Using maximality-based labelled transition system as a model for petri nets"
  author:
  - name: "Djamel-Eddine Saidouni"
    link: "https://researchr.org/alias/djamel-eddine-saidouni"
  - name: "Nabil Belala"
    link: "http://www.nbelala.new.fr/"
  - name: "Messaouda Bouneb"
    link: "https://researchr.org/alias/messaouda-bouneb"
  year: "2009"
  doi: "http://www.ccis2k.org/iajit/index.php?option=com_content&task=blogcategory&id=66&Itemid=296"
  links:
    doi: "http://www.ccis2k.org/iajit/index.php?option=com_content&task=blogcategory&id=66&Itemid=296"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/SaidouniBB09"
  cites: 0
  citedby: 0
  journal: "Int. Arab J. Inf. Technol."
  volume: "6"
  number: "5"
  pages: "440-446"
  kind: "article"
  key: "SaidouniBB09"
- title: "Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification"
  author:
  - name: "Djamel-Eddine Saïdouni"
    link: "https://researchr.org/alias/djamel-eddine-sa%C3%AFdouni"
  - name: "Nabil Belala"
    link: "http://www.nbelala.new.fr/"
  year: "2005"
  doi: "http://www.iajit.org/ABSTRACTS-5.htm#03"
  links:
    doi: "http://www.iajit.org/ABSTRACTS-5.htm#03"
  tags:
  - "rule-based"
  - "logic"
  researchr: "https://researchr.org/publication/SaidouniB05"
  cites: 0
  citedby: 0
  journal: "Int. Arab J. Inf. Technol."
  volume: "2"
  number: "3"
  pages: "199-205"
  kind: "article"
  key: "SaidouniB05"