An Enhanced Rewriting Logic Based Semantics for High Level Petri nets.

Ammar Boucherit Kamel Barkaoui Osman Hasan

Published in: PNSE@Petri Nets (2021)

Keyphrases

petri net
high level petri nets
formal semantics
logic programming
knowledge representation
semantic information
conjunctive queries
operational semantics
collaborative learning