A colored Petri nets model for the diagnosis of semantic faults of BPEL services

TitleA colored Petri nets model for the diagnosis of semantic faults of BPEL services
Publication TypeConference Paper
Year of Publication2009
AuthorsLi, Y, Melliti, T, Dague, P
Conference NameProc. of International Workshop on Petri Nets and Software Engineering (PNSE)