A Simple Abstract Interpretation for Petri Net Queries.

Published in: PNSE@Petri Nets/ACSD (2018)

Keyphrases

petri net
petri net model
abstract interpretation
query language
colored petri nets
query processing
database
query evaluation
artificial intelligence
ims ld
fuzzy petri net