Using AToM3 for the Verification of Workflow Applications.

Leila Jemni Ben Ayed Ahlem Ben Younes Amin Ben Brahim Achouri

Published in: ICSOFT (2) (2010)

Keyphrases

model checking
petri net
petri net model
workflow management systems
signature verification
data flow
real time
business processes
workflow management
workflow systems
functional verification
business process
formal verification
data mining
multimedia
control flow