An Efficient Maude Formalization of (Rewritable) PT Nets | IEEE Conference Publication | IEEE Xplore