Factorisation of Petri Net Solvable Transition Systems.
Raymond R. DevillersUli SchlachterPublished in: Petri Nets (2018)
Keyphrases
- petri net
- transition systems
- concurrent systems
- reactive systems
- petri net model
- model checking
- np hard
- temporal logic
- control flow
- fuzzy petri net
- practical reasoning
- colored petri nets
- web service composition
- ims ld
- process model
- computational complexity
- service composition
- finite state
- stochastic petri net
- production system
- knowledge acquisition
- expert systems
- artificial intelligence
- machine learning