EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system.
Slawomir LasotaPublished in: Inf. Process. Lett. (2009)
Keyphrases
- petri net
- finite state
- lower bound
- colored petri nets
- markov chain
- petri net model
- markov decision processes
- model checking
- web service composition
- fuzzy petri net
- discrete event systems
- service composition
- temporal logic
- concurrent processes
- tree automata
- optimal policy
- process model
- transition systems
- ims ld
- stochastic petri net
- machine learning
- finite state transducers
- objective function
- learning algorithm