A Semantics for Every GSPN.

Christian Eisentraut Holger Hermanns Joost-Pieter Katoen Lijun Zhang

Published in: Petri Nets (2013)

Keyphrases

logic programming
formal semantics
semantic information
multiscale
conceptual model
semantic representation
data sets
real world
search engine
web services
relational databases
logic programs
operational semantics
transformation rules
nonmonotonic logics
logical language