Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets

Ammar Boucherit, Abdallah Khababa, Laura M. Castro. Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets. Multiagent and Grid Systems, 14(4):403-418, 2018. [doi]

@article{BoucheritKC18,
  title = {Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets},
  author = {Ammar Boucherit and Abdallah Khababa and Laura M. Castro},
  year = {2018},
  doi = {10.3233/MGS-180298},
  url = {https://doi.org/10.3233/MGS-180298},
  researchr = {https://researchr.org/publication/BoucheritKC18},
  cites = {0},
  citedby = {0},
  journal = {Multiagent and Grid Systems},
  volume = {14},
  number = {4},
  pages = {403-418},
}