An analysis system of IoT services based on agent-oriented Petri net PN2 | IEEE Conference Publication | IEEE Xplore