On the Semantics of Place/Transition Nets.

Rémi Morin Brigitte Rozoy

Published in: CONCUR (1999)

Keyphrases

formal semantics
logic programming
machine learning
semantic information
argumentation semantics
real time
transformation rules
operational semantics
specification language
semantic representation
state transition
query language
domain knowledge
artificial intelligence
genetic algorithm
data mining
neural network