Text this: Computing on semaphores of Dijkstra with place-transition nets.