A truly concurrent semantics for a process algebra using resource pomsets