Return to Issue Details Modeling of polygraphic web-service using colored Petri nets Download Download PDF