Codesign -- Duration Calculus: A Real-Time Semantic for B -- An Algebra of Petri Nets