A Petri Net-Based Approach to Service Composition and Monitoring in the IOT | IEEE Conference Publication | IEEE Xplore