An Efficient Maude Formalization of (Rewritable) PT Nets.

Lorenzo Capra

Browse the full SYNASC paper archive.