The Reachability Problem for Petri Nets is Not Elementary (Extended Abstract).
Wojciech CzerwinskiSlawomir LasotaRanko LazicJérôme LerouxFilip MazowieckiPublished in: CoRR (2018)
Keyphrases
- extended abstract
- petri net
- petri net model
- discrete event systems
- high level petri nets
- manufacturing systems
- service composition
- fuzzy petri net
- stochastic petri net
- state space
- colored petri nets
- ims ld
- state machines
- neural network
- concurrent systems
- process model
- knowledge base
- discrete dynamical systems
- programmable logic controller