Methods for Efficient Unfolding of Colored Petri Nets.

Alexander Bilgram Peter Gjøl Jensen Thomas Pedersen Jirí Srba Peter Haahr Taankvist

Published in: CoRR (2022)

Keyphrases

database systems
significant improvement
computational cost
machine learning methods
computationally expensive
qualitative and quantitative
methods require
real time
databases
search engine
knowledge base
case study
benchmark datasets
cross validation