Login / Signup

Verification of data-aware process models: Checking soundness of data Petri nets.

Nikolai M. SuvorovIrina A. Lomazova
Published in: J. Log. Algebraic Methods Program. (2024)
Keyphrases
  • petri net
  • data analysis
  • data processing
  • neural network
  • data mining
  • genetic algorithm
  • knowledge base
  • knowledge representation
  • computer systems
  • knowledge based systems
  • event logs