A Slicing-based Approach to Enhance Petri Net Reachability Analysis.
Woo Jin LeeSung Deok ChaYong Rae KwonH. N. KimPublished in: J. Res. Pract. Inf. Technol. (2000)
Keyphrases
- petri net
- reachability analysis
- model checking
- markov decision processes
- petri net model
- manufacturing systems
- discrete event systems
- timed automata
- colored petri nets
- incremental algorithms
- ims ld
- service composition
- web service composition
- fuzzy petri net
- stochastic petri net
- state space
- knowledge acquisition
- story generation
- artificial intelligence
- real time