On Linear Logic Planning and Concurrency