C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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