Sign in

What Makes Petri Nets Harder to Verify: Stack or Data?

Ranko LazicPatrick Totzke
Published in: Concurrency, Security, and Puzzles (2017)
Keyphrases
  • petri net
  • data analysis
  • data processing
  • computational intelligence
  • low cost
  • fuzzy sets
  • dynamic systems
  • manufacturing systems
  • discrete event systems