Login / Signup
What's inside the Box? Prospects and Limitations of Semantic Verification in Process Modeling.
Michael Fellmann
Frank Hogrebe
Oliver Thomas
Markus Nüttgens
Published in:
EMISA (2010)
Keyphrases
</>
colored petri nets
high level
process model
formal verification
database
databases
machine learning
information retrieval
genetic algorithm
domain knowledge
low level
semantic annotation
semantic similarity
semantic knowledge