Petri nets model for service engineering | IEEE Conference Publication | IEEE Xplore