implement generator for EXPLICIT priority
add concurency-semantics framework
add concurency-semantics framework
update image URL