10.Timed
CSP and timed PN
•Neither CSP or PN model intrinsically includes a
notion of time, which can make it difficult to interoperate with models that
do include a notion of time.
•Both CSP and PN models of computation can be
augmented with a notion of time to promote interoperability and to directly
model temporal properties.