Return to Article Details Correctness Checking of Pervasive Behaviour by Mapping Task Models to Petri Nets Download Download PDF