An Efficient Maude Formalization of (Rewritable) PT Nets.

Published in: SYNASC (2021)

Keyphrases

operational semantics
wide range
knowledge representation
social networks
information systems
web services
decision trees
similarity measure
video sequences
equational theories