A Platform as a Service for Concurrency-based Applications Provisioning in Internet of Things