@Inproceedings{EPTCS349.3,
  author    = {Capra, Lorenzo},
  year      = {2021},
  title     = {A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems},
  editor    = {Gleirscher, Mario and Pol, Jaco van de and Woodcock, Jim},
  booktitle = {{\rm Proceedings First Workshop on}
               Applicable Formal Methods,
               {\rm virtual, 23rd November 2021}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {349},
  publisher = {Open Publishing Association},
  pages     = {31-49},
  doi       = {10.4204/EPTCS.349.3},
}