Clock Transition Systems

Abstract : The objective of the paper is to introduce a new model capable of modeling both Time Petri Nets (TPNs) and Networks of Timed Automata (NTA). We called it Clock Transition System (CTS). This new model incorporates the advantages of the structure of Petri nets, while introducing explicitly the concept of clocks. Transitions in the network can be guarded by an expression on the clocks and reset a subset of them as in timed automata. The urgency may be introduced by a separate description of invariants. We show that CTS allow to express TPNs (even when unbounded) and NTA. For those two classical models, we identify subclasses of CTSs equivalent by isomorphism of their operational semantics and provide (syntactic) translations. The classical state-space computation developed for NTA and then adapted to TPNs can easily be defined for general CTSs. Armed with these merits, the CTS model seems a good candidate to serve as an intermediate theoretical and practical model to factor out the upcoming developments in the TPNs and the NTA scientific communities.
Document type :
Reports
Liste complète des métadonnées

Cited literature [15 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00725792
Contributor : Didier Lime <>
Submitted on : Monday, August 27, 2012 - 5:37:44 PM
Last modification on : Wednesday, December 19, 2018 - 3:02:03 PM
Document(s) archivé(s) le : Friday, December 16, 2016 - 8:12:57 AM

File

CTS-extended.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00725792, version 1

Citation

Didier Lime, Olivier Henri Roux, Claude Jard. Clock Transition Systems. 2012. ⟨hal-00725792⟩

Share

Metrics

Record views

1843

Files downloads

150