A colored Petri-net model for control execution of distributed systems.

My El Hassan Charaf, Salma Azzouzi

Browse the full CoDIT paper archive.