Login / Signup

Bi-Reachability in Petri Nets with Data.

Lukasz KaminskiSlawomir Lasota
Published in: CONCUR (2024)
Keyphrases
  • petri net
  • data processing
  • data analysis
  • state space
  • human subjects
  • service composition
  • description language
  • discrete event systems