Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets.
Hanifa BouchenebKamel BarkaouiPublished in: ACM Trans. Embed. Comput. Syst. (2013)
Keyphrases
- petri net
- reachability analysis
- model checking
- markov decision processes
- process algebra
- petri net model
- discrete event systems
- timed automata
- manufacturing systems
- fuzzy petri net
- logic programming
- state space
- ims ld
- colored petri nets
- incremental algorithms
- concurrent systems
- temporal logic
- stochastic petri net
- state machines
- service composition
- low cost
- machine learning
- constraint satisfaction problems
- collaborative learning